From 5ca452a8576373895301be85a7dfc13746036cac Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 11 Nov 2008 11:49:51 -0500
Subject: Get threadedBlog to work

---
 src/elab_env.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab_env.sig')

diff --git a/src/elab_env.sig b/src/elab_env.sig
index 926837e1..0b436106 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -30,6 +30,7 @@ signature ELAB_ENV = sig
     exception SynUnif
     val liftConInCon : int -> Elab.con -> Elab.con
 
+    val liftConInExp : int -> Elab.exp -> Elab.exp
     val liftExpInExp : int -> Elab.exp -> Elab.exp
 
     val subExpInExp : (int * Elab.exp) -> Elab.exp -> Elab.exp
-- 
cgit v1.2.3