X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;h=45f3829dd789b67f361b59bea3d925281d1a85f0;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=f90ab14bdbe39c9352c1167faa4b7ea1c5a47326;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index f90ab14bd..45f3829dd 100644
--- 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
 ;;