From 8cc7053b00237cd468290cb5f2042898e7a80329 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 14 Sep 2008 15:10:04 -0400 Subject: Crud supports INSERT --- src/elab_err.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/elab_err.sig') 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 -- cgit v1.2.3