summaryrefslogtreecommitdiff
path: root/src/elab_err.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_err.sig')
-rw-r--r--src/elab_err.sig2
1 files changed, 1 insertions, 1 deletions
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