X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2Futf8Macro.ml;h=090807bce818a9c21f7aa1ffd04e6ee26bdc176b;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=c95282d58a061d1569a199a59a5ce582e46350d4;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/components/syntax_extensions/utf8Macro.ml b/matita/components/syntax_extensions/utf8Macro.ml
index c95282d58..090807bce 100644
--- a/matita/components/syntax_extensions/utf8Macro.ml
+++ b/matita/components/syntax_extensions/utf8Macro.ml
@@ -50,7 +50,7 @@ let tex_of_unicode s =
        (Hashtbl.find_all Utf8MacroTable.utf82macro s)
     in
     List.sort 
-      (fun x y -> Pervasives.compare (String.length x) (String.length y)) 
+      (fun x y -> Stdlib.compare (String.length x) (String.length y)) 
       alt
   with Not_found -> []