fixed coercions undoooing

[helm.git] / helm / ocaml / lexicon / lexiconEngine.mli

diff --git a/helm/ocaml/lexicon/lexiconEngine.mli b/helm/ocaml/lexicon/lexiconEngine.mli
index a2232fe288208da1910fd9baffa28ca674ec029f..ba09386402cd110b437d8d95437b8c8b8e413ab0 100644 (file)
--- a/helm/ocaml/lexicon/lexiconEngine.mli
+++ b/helm/ocaml/lexicon/lexiconEngine.mli
@@ -23,6 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
+exception IncludedFileNotCompiled of string
 
 type status = {
   aliases: DisambiguateTypes.environment;         (** disambiguation aliases *)