From e6dd56d42a28138bcd9fdea52d0b232839c298dc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 May 2009 11:04:56 -0400
Subject: cselect.onchange

---
 src/elaborate.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index 36706b46..f91f83c7 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -3831,6 +3831,8 @@ fun elabFile basis topStr topSgn env file =
         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)
-- 
cgit v1.2.3