- added SortExpectedMetaFound exception (huge hack)

[helm.git] / helm / ocaml / cic_proof_checking / cicTypeChecker.mli

diff --git a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
index d3db80a46a6d951732875ae63deecd8c861bbd3e..b267429d4f682535d25acdae1789e00329e59c27 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
+++ b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
@@ -23,9 +23,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(* This is the only exception that will be raised *)
+(* These are the only exceptions that will be raised *)
 exception TypeCheckerFailure of string
 exception AssertFailure of string
+exception SortExpectedMetaFound of string
 
 val typecheck : UriManager.uri -> unit