Mercurial > urweb

diff src/elab_ops.sml @ 328:58f1260f293f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed a mind-numbing De Bruijn bug
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 19:59:31 -0400
parents 950320f33232
children eec65c11d3e2
line wrap: on
line diff
--- a/src/elab_ops.sml	Thu Sep 11 18:36:20 2008 -0400
+++ b/src/elab_ops.sml	Thu Sep 11 19:59:31 2008 -0400
@@ -92,10 +92,10 @@
                      handle SynUnif => cAll
                  (*val env' = E.pushCRel env x k*)
              in
-                 (*eprefaces "Subst" [("x", Print.PD.string x),
-                                    ("cb", p_con env' cb),
-                                    ("c2", p_con env c2),
-                                    ("sc", p_con env sc)];*)
+                 (*Print.eprefaces "Subst" [("x", Print.PD.string x),
+                                          ("cb", ElabPrint.p_con env' cb),
+                                          ("c2", ElabPrint.p_con env c2),
+                                          ("sc", ElabPrint.p_con env sc)];*)
                  sc
              end
            | c1' as CApp (c', i) =>