X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flexicon%2FlexiconEngine.mli;h=ba09386402cd110b437d8d95437b8c8b8e413ab0;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=a2232fe288208da1910fd9baffa28ca674ec029f;hpb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;p=helm.git

diff --git a/helm/ocaml/lexicon/lexiconEngine.mli b/helm/ocaml/lexicon/lexiconEngine.mli
index a2232fe28..ba0938640 100644
--- 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 *)