From e542e7ba2106c5763006e88d90b6834fe9221b85 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 19 Jun 2008 16:35:40 -0400
Subject: Elaborating 'where'

---
 src/elab_env.sig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/elab_env.sig')

diff --git a/src/elab_env.sig b/src/elab_env.sig
index 98f59c38..511497c4 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -76,10 +76,10 @@ signature ELAB_ENV = sig
     val declBinds : env -> Elab.decl -> env
     val sgiBinds : env -> Elab.sgn_item -> env
 
+    val hnormSgn : env -> Elab.sgn -> Elab.sgn
+
     val projectCon : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> (Elab.kind * Elab.con option) option
     val projectVal : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.con option
     val projectStr : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option
 
-
-
 end
-- 
cgit v1.2.3