diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-11 19:59:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 19:59:31 -0400 |
| commit | a12b7d5677662153dd69c14945c0d88f447425a3 (patch) | |
| tree | 6a16a83ce73b7c035f67e6d51c982e3bf79115ad /src/elab_ops.sml | |
| parent | a1c9eb584060bb6fac219f53540324777a7fa5b4 (diff) | |
Fixed a mind-numbing De Bruijn bug
Diffstat (limited to 'src/elab_ops.sml')
| -rw-r--r-- | src/elab_ops.sml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/elab_ops.sml b/src/elab_ops.sml index 6c75768b..3cdc37c1 100644 --- a/src/elab_ops.sml +++ b/src/elab_ops.sml @@ -92,10 +92,10 @@ fun hnormCon env (cAll as (c, loc)) = 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) => |