Porting to ocaml 5

[helm.git] / matita / components / syntax_extensions / utf8Macro.ml

diff --git a/matita/components/syntax_extensions/utf8Macro.ml b/matita/components/syntax_extensions/utf8Macro.ml
index c95282d58a061d1569a199a59a5ce582e46350d4..090807bce818a9c21f7aa1ffd04e6ee26bdc176b 100644 (file)
--- 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 -> []