From 59cf4e73d9d6998ea4a83aa38c75c95ed462779f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 14:10:51 -0400
Subject: Further experiments with implicit arguments

---
 src/elab_env.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index b7264fc7..78fa3daa 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -54,7 +54,7 @@ val liftConInCon =
                                              c
                                          else
                                              CRel (xn + 1)
-                                       | CUnif _ => raise SynUnif
+                                       (*| CUnif _ => raise SynUnif*)
                                        | _ => c,
                 bind = fn (bound, U.Con.Rel _) => bound + 1
                         | (bound, _) => bound}
-- 
cgit v1.2.3