diff options
Diffstat (limited to 'src/elab_err.sig')
-rw-r--r-- | src/elab_err.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elab_err.sig b/src/elab_err.sig index 7682cd31..1fd234b7 100644 --- a/src/elab_err.sig +++ b/src/elab_err.sig @@ -58,7 +58,7 @@ signature ELAB_ERR = sig UnboundExp of ErrorMsg.span * string | UnboundStrInExp of ErrorMsg.span * string | Unify of Elab.exp * Elab.con * Elab.con * cunify_error - | Unif of string * Elab.con + | Unif of string * ErrorMsg.span * Elab.con | WrongForm of string * Elab.exp * Elab.con | IncompatibleCons of Elab.con * Elab.con | DuplicatePatternVariable of ErrorMsg.span * string |