From c060d15003e3435d4d4c770d8f109f756db13ef5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 11:32:48 -0400
Subject: Lifting cons in ElabEnv

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

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index c11b0da1..2b9d7920 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -270,7 +270,7 @@ fun p_decl env ((d, _) : decl) =
 fun p_file env file =
     let
         val (_, pds) = ListUtil.mapfoldl (fn (d, env) =>
-                                             (ElabUtil.declBinds env d,
+                                             (E.declBinds env d,
                                               p_decl env d))
                              env file
     in
-- 
cgit v1.2.3