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

[helm.git] / helm / ocaml / cic_disambiguation / disambiguatePp.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguatePp.ml b/helm/ocaml/cic_disambiguation/disambiguatePp.ml
index b7c1012a8dc68474e2515f567320f82a4c7bbe8d..4bf917bb8a9a4e5a2f757884d7484dd2690936c3 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguatePp.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguatePp.ml
@@ -26,7 +26,7 @@
 open DisambiguateTypes
 
 let parse_environment str =
- let stream = Stream.of_string str in
+ let stream = Ulexing.from_utf8_string str in
  let environment = ref Environment.empty in
  let multiple_environment = ref Environment.empty in
   try