From 901b6d55e625be136ddd677a3d8a36e5068de2ae Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Nov 2008 13:15:00 -0500
Subject: Some small changes while failing to write [restrict]

---
 src/disjoint.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/disjoint.sig')

diff --git a/src/disjoint.sig b/src/disjoint.sig
index 025269cf..0d6793c5 100644
--- a/src/disjoint.sig
+++ b/src/disjoint.sig
@@ -40,4 +40,6 @@ signature DISJOINT = sig
 
     val hnormCon : ElabEnv.env * env -> Elab.con -> Elab.con * goal list
 
+    val p_env : env -> unit
+
 end
-- 
cgit v1.2.3