Mercurial > urweb

diff src/elaborate.sml @ 799:9330ba3a2799

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cselect.onchange
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 11:04:56 -0400
parents d20d6afc1206
children e2780d2f4afc
line wrap: on
line diff
--- a/src/elaborate.sml	Thu May 14 10:31:11 2009 -0400
+++ b/src/elaborate.sml	Thu May 14 11:04:56 2009 -0400
@@ -3831,6 +3831,8 @@
         else
             app (fn f => f ()) (!checks);
 
+        (*preface ("file", p_file env' file);*)
+
         (L'.DFfiStr ("Basis", basis_n, sgn), ErrorMsg.dummySpan)
         :: ds
         @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan)