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

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

diff --git a/helm/matita/matitaEngine.mli b/helm/matita/matitaEngine.mli
index 280b6c8f47d273a6cac415b3feb8eb52e487e6c4..2253748d95b61efd1f5a060743aed50c18e23e03 100644 (file)
--- a/helm/matita/matitaEngine.mli
+++ b/helm/matita/matitaEngine.mli
@@ -44,7 +44,7 @@ val eval_from_stream:
   ?do_heavy_checks:bool ->
   ?include_paths:string list ->
   ?clean_baseuri:bool ->
-  MatitaTypes.status ref -> char Stream.t -> 
+  MatitaTypes.status ref -> Ulexing.lexbuf -> 
   (MatitaTypes.status -> statement -> unit) ->
     unit
 
@@ -52,7 +52,7 @@ val eval_from_stream_greedy:
   ?do_heavy_checks:bool ->
   ?include_paths:string list ->
   ?clean_baseuri:bool ->
-  MatitaTypes.status ref-> char Stream.t -> 
+  MatitaTypes.status ref-> Ulexing.lexbuf -> 
   (MatitaTypes.status -> statement -> unit) ->
     unit