From e7e2ffc58a4f120801ae69217032948e511af213 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 16:02:47 -0500
Subject: Elaborating files

---
 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 8300c2a9..c4e5ae5a 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -38,6 +38,7 @@ signature ELAB_ENV = sig
     val lookupCRel : env -> int -> string * Elab.kind
 
     val pushCNamed : env -> string -> Elab.kind -> env * int
+    val pushCNamedAs : env -> string -> int -> Elab.kind -> env
     val lookupCNamed : env -> int -> string * Elab.kind
                                                  
     datatype var =
-- 
cgit v1.2.3