From 98370da7e9f70e3d83f666019b765e15f617b846 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 7 Apr 2009 15:04:07 -0400 Subject: Enhance table sig item support and get demo compiling again --- 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 3b14406b..c0a90e19 100644 --- a/src/elab_err.sig +++ b/src/elab_err.sig @@ -109,7 +109,7 @@ signature ELAB_ERR = sig | NotFunctor of Elab.sgn | FunctorRebind of ErrorMsg.span | UnOpenable of Elab.sgn - | NotType of Elab.kind * (Elab.kind * Elab.kind * kunify_error) + | NotType of ErrorMsg.span * Elab.kind * (Elab.kind * Elab.kind * kunify_error) | DuplicateConstructor of string * ErrorMsg.span | NotDatatype of ErrorMsg.span -- cgit v1.2.3