summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 11:04:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 11:04:56 -0400
commitee2f4ffdf2f283c33fb7bb488fa88a1d9f2cf6be (patch)
treeda75a35df02e170e6cc2cfd6f02433f82d8e3763 /src/elaborate.sml
parent471d135b67086298642e9bd26e0e380a605b7068 (diff)
cselect.onchange
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml2
1 files changed, 2 insertions, 0 deletions
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)