Added parameter first_statement_only to the functions in matitaEngine

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

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