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

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 6f8c932f..1bcb248c 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -72,6 +72,7 @@ and sgn' =
     SgnConst of sgn_item list
   | SgnVar of string
   | SgnFun of string * sgn * sgn
+  | SgnWhere of sgn * string * con
 
 withtype sgn_item = sgn_item' located
 and sgn = sgn' located
-- 
cgit v1.2.3