Mercurial > urweb
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)]*)