From 32115a531d5ed6cafa25dc7d3b88c2679e5142a5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 12:27:08 -0400
Subject: Primitive type constants

---
 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 f7f798e5..8fe1da71 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -33,6 +33,7 @@ signature ELAB_ENV = sig
     type env
 
     val empty : env
+    val basis : env
 
     exception UnboundRel of int
     exception UnboundNamed of int
-- 
cgit v1.2.3