X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatitadep.ml;h=5a73c099bee3866cd1d8294c3a6e8e0e13c5c573;hb=57b996a466e62a8696c46d1d58883c4fade7c59e;hp=9fafa4907f3dd54f83c20777e69baf44363cc038;hpb=3b6a37cbbfe7d1535080be0e728dd8aa3c112880;p=helm.git

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 9fafa4907..5a73c099b 100644
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -74,7 +74,7 @@ let main () =
   List.iter
    (fun file -> 
     let ic = open_in file in
-    let istream = Stream.of_channel ic in
+    let istream = Ulexing.from_utf8_channel ic in
     let dependencies = GrafiteParser.parse_dependencies istream in
     close_in ic;
     List.iter