changeset 1583:7fcdf836b761

Clear reducedSummaries
author Adam Chlipala <adam@chlipala.net>
date Fri, 28 Oct 2011 08:54:44 -0400 (2011-10-28)
parents dfb38a333816
children c37d8341940a
files src/elaborate.sml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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)]*)