# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1319806484 14400
# Node ID 7fcdf836b7610e12f9a8d49f367eb8f5f77f3561
# Parent  dfb38a333816c0c9ced29ff53f4ca40fa8fc838a
Clear reducedSummaries

diff -r dfb38a333816 -r 7fcdf836b761 src/elaborate.sml
--- a/src/elaborate.sml	Thu Oct 27 08:36:31 2011 -0400
+++ b/src/elaborate.sml	Fri Oct 28 08:54:44 2011 -0400
@@ -777,6 +777,8 @@
 
  and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) =
      let
+         val () = reducedSummaries := NONE
+
          (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)),
                                          ("#1", p_summary env s1),
                                          ("#2", p_summary env s2)]*)