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.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 07bb7f8d..edec2e3d 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -92,6 +92,7 @@ and sgn' =
     SgnConst of sgn_item list
   | SgnVar of int
   | SgnFun of string * int * sgn * sgn
+  | SgnWhere of sgn * string * con
   | SgnError
 
 withtype sgn_item = sgn_item' located
-- 
cgit v1.2.3