Porting to ocaml 5

[helm.git] / matita / matita / predefined_virtuals.ml

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index f90ab14bdbe39c9352c1167faa4b7ea1c5a47326..45f3829dd789b67f361b59bea3d925281d1a85f0 100644 (file)
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1497,7 +1497,7 @@ let predefined_virtuals = [
 
 let load_predefined_virtuals () =
   List.iter 
-    (fun a,b,c -> 
+    (fun (a,b,c) -> 
        Virtuals.add_virtual a (Glib.Utf8.first_char b) c) 
     predefined_virtuals
 ;;