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

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index 119c1d92..0d4e63cc 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -125,7 +125,7 @@ and sgn' =
     SgnConst of sgn_item list
   | SgnVar of int
   | SgnFun of string * int * sgn * sgn
-  | SgnWhere of sgn * string * con
+  | SgnWhere of sgn * string list * string * con
   | SgnProj of int * string list * string
 
 withtype sgn_item = sgn_item' located
-- 
cgit v1.2.3