From 31e82db1a6d6d448fa783a9829afacf7af6a03ba Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 21 Oct 2008 19:56:20 -0400
Subject: Sum prose

---
 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 1fd234b7..d757572f 100644
--- a/src/elab_err.sig
+++ b/src/elab_err.sig
@@ -49,7 +49,7 @@ signature ELAB_ERR = sig
            | COccursCheckFailed of Elab.con * Elab.con
            | CIncompatible of Elab.con * Elab.con
            | CExplicitness of Elab.con * Elab.con
-           | CKindof of Elab.kind * Elab.con
+           | CKindof of Elab.kind * Elab.con * string
            | CRecordFailure of Elab.con * Elab.con
 
     val cunifyError : ElabEnv.env -> cunify_error -> unit
-- 
cgit v1.2.3