X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaEngine.mli;h=ea19ef41df3bbfc42c560f9e54c9c3111b211bba;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=3bbc6a1136354139151c8cf478bb1ce3c7e1a4f1;hpb=6c702f5054d7975f76911ba62da9bfa33d3ed0fa;p=helm.git

diff --git a/matitaB/matita/matitaEngine.mli b/matitaB/matita/matitaEngine.mli
index 3bbc6a113..ea19ef41d 100644
--- a/matitaB/matita/matitaEngine.mli
+++ b/matitaB/matita/matitaEngine.mli
@@ -51,3 +51,5 @@ val eval_ast :
   GrafiteTypes.status 
 
 val assert_ng: include_paths:string list -> ?outch:out_channel -> string -> bool
+
+val eos : GrafiteTypes.status -> string -> bool