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

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 9147f7d3..2dab5c34 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -154,7 +154,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
   | SgnError
 
-- 
cgit v1.2.3