fixed matitac

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

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 4ca54d0e40dbd5d97b3df4596f77e56ff5b8fc76..f1b8f074c4dace915e1a51fefe3b94e9ab74e8d4 100644 (file)
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -505,12 +505,14 @@ let eval_ast status ast =
   (* this disambiguation step should be deferred to support tacticals *)
   eval status st
 
-let eval_from_stream status str =
-  let st = CicTextualParser2.parse_statement str in
-  eval_ast status st
+let eval_from_stream status str cb =
+  let stl = CicTextualParser2.parse_statements str in
+  List.fold_left 
+    (fun status ast -> cb status ast;eval_ast status ast) status 
+  stl
   
 let eval_string status str =
-  eval_from_stream status (Stream.of_string str) 
+  eval_from_stream status (Stream.of_string str) (fun _ _ -> ())
 
 let default_options () =
   let options =