X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaEngine.mli;h=7ceb965e9959c68e5ca8404dda60481039515abd;hb=619a3a478a4f6b0a50782b620009f6a141c30a53;hp=f9699fbb5f458a602a34beb712150fb702e7a479;hpb=b11d278a26840884692cdfb89e168081134d293f;p=helm.git

diff --git a/helm/matita/matitaEngine.mli b/helm/matita/matitaEngine.mli
index f9699fbb5..7ceb965e9 100644
--- a/helm/matita/matitaEngine.mli
+++ b/helm/matita/matitaEngine.mli
@@ -24,6 +24,7 @@
  *)
 
 exception Drop
+exception UnableToInclude of string
 
 (* heavy checks slow down the compilation process but give you some interesting
  * infos like if the theorem is a duplicate *)