diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
| commit | 8cc7053b00237cd468290cb5f2042898e7a80329 (patch) | |
| tree | 0138b56c392844cd8033fa03e81715b8b1ca4f8a /src/elab_err.sig | |
| parent | c81c24b4feb3fae3c13861f1bcaafab697a6bb7e (diff) | |
Crud supports INSERT
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 |