summaryrefslogtreecommitdiff
path: root/src/elab_ops.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_ops.sml')
-rw-r--r--src/elab_ops.sml8
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) =>