X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2FnotationEnv.ml;h=d1aad07774750b4a5120a2342dab3eed905ed7c2;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=164fec0e87e52c90b43cd9ea6291f8e686c0033a;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/components/content/notationEnv.ml b/matita/components/content/notationEnv.ml
index 164fec0e8..d1aad0777 100644
--- a/matita/components/content/notationEnv.ml
+++ b/matita/components/content/notationEnv.ml
@@ -65,7 +65,7 @@ let lookup_value env name =
 let remove_name env name = List.remove_assoc name env
 
 let remove_names env names =
-  List.filter (fun name, _ -> not (List.mem name names)) env
+  List.filter (fun (name, _) -> not (List.mem name names)) env
 
 let lookup_term env name =
   match lookup env name with