From f718e640c3cbe6a891519364992117f49ca333fa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 19 Aug 2013 12:25:32 -0400
Subject: Allow [where con] to descend within submodule structure; open
 submodule constraints while checking later signature items

---
 src/source.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 18f83d2b..d66160db 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -100,7 +100,7 @@ and sgn' =
     SgnConst of sgn_item list
   | SgnVar of string
   | SgnFun of string * sgn * sgn
-  | SgnWhere of sgn * string * con
+  | SgnWhere of sgn * string list * string * con
   | SgnProj of string * string list * string
 
 and pat' =
-- 
cgit v1.2.3