diff options
Diffstat (limited to 'src/expl.sml')
-rw-r--r-- | src/expl.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |