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_util.sig | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/elab_util.sig')

diff --git a/src/elab_util.sig b/src/elab_util.sig
index 4782d69d..80d04465 100644
--- a/src/elab_util.sig
+++ b/src/elab_util.sig
@@ -75,6 +75,4 @@ structure Exp : sig
                   exp : Elab.exp' -> bool} -> Elab.exp -> bool
 end
 
-val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env
-
 end
-- 
cgit v1.2.3