Mercurial > urweb

diff src/elab_err.sig @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents eec65c11d3e2
children 6a0e54400805
line wrap: on
line diff
--- a/src/elab_err.sig	Sun Sep 14 11:02:18 2008 -0400
+++ b/src/elab_err.sig	Sun Sep 14 15:10:04 2008 -0400
@@ -58,7 +58,7 @@
              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