X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaEngine.mli;fp=helm%2Fmatita%2FmatitaEngine.mli;h=a3c54dea6a22537954f744fd4917965552528d6a;hb=a229a988dceead9ffe3ea593fcf98e68a16582cf;hp=ddc905db36e26a41384d62695e0f9be92c010bcd;hpb=50fffea30b07e377834af799cd262d6f5d5aff0c;p=helm.git

diff --git a/helm/matita/matitaEngine.mli b/helm/matita/matitaEngine.mli
index ddc905db3..a3c54dea6 100644
--- a/helm/matita/matitaEngine.mli
+++ b/helm/matita/matitaEngine.mli
@@ -39,6 +39,7 @@ val eval_ast :
 (* heavy checks slow down the compilation process but give you some interesting
  * infos like if the theorem is a duplicate *)
 val eval_string :
+  first_statement_only:bool ->
   include_paths:string list ->
   ?do_heavy_checks:bool ->
   ?clean_baseuri:bool ->
@@ -50,6 +51,7 @@ val eval_string :
   ) list
 
 val eval_from_stream :
+  first_statement_only:bool ->
   include_paths:string list ->
   ?prompt:bool ->
   ?do_heavy_checks:bool ->