matitamake is integrated with matita

[helm.git] / helm / matita / matitaEngine.mli

diff --git a/helm/matita/matitaEngine.mli b/helm/matita/matitaEngine.mli
index f9699fbb5f458a602a34beb712150fb702e7a479..7ceb965e9959c68e5ca8404dda60481039515abd 100644 (file)
--- 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 *)