ported to the new parser interface (Ulexing.lexbuf instead of char Stream.t)

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

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 3658b0c20ab93d2990a9a73717faaf35c87bf463..0cab549b1345e31f86d47a7aba708807576064d4 100644 (file)
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -709,7 +709,7 @@ let eval_command opts status cmd =
      let ic =
       try open_in moopath with Sys_error _ -> 
         raise (IncludedFileNotCompiled moopath) in
-     let stream = Stream.of_channel ic in
+     let stream = Ulexing.from_utf8_channel ic in
      let status = ref status in
       profiler_include.CicUtil.profile
        (!eval_from_stream_ref status stream) (fun _ _ -> ());
@@ -914,7 +914,8 @@ let eval_from_stream_greedy
 
 let eval_string ?do_heavy_checks ?include_paths ?clean_baseuri status str =
   eval_from_stream 
-    ?do_heavy_checks ?include_paths ?clean_baseuri status (Stream.of_string str) (fun _ _ ->())
+    ?do_heavy_checks ?include_paths ?clean_baseuri status
+      (Ulexing.from_utf8_string str) (fun _ _ ->())
 
 let default_options () =
 (*