Use of standard OCaml syntax

[helm.git] / matita / components / content / notationEnv.ml

diff --git a/matita/components/content/notationEnv.ml b/matita/components/content/notationEnv.ml
index be9171a8d9318a714e16fd5ceffbc2a069099278..d1aad07774750b4a5120a2342dab3eed905ed7c2 100644 (file)
--- 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
@@ -93,7 +93,7 @@ let lookup_list env name =
   | ty, _ -> raise (Type_mismatch (name, ty))
 
 let opt_binding_some (n, (ty, v)) = (n, (OptType ty, OptValue (Some v)))
-let opt_binding_none (n, (ty, v)) = (n, (OptType ty, OptValue None))
+let opt_binding_none (n, (ty, _v)) = (n, (OptType ty, OptValue None))
 let opt_binding_of_name (n, ty) = (n, (OptType ty, OptValue None))
 let list_binding_of_name (n, ty) = (n, (ListType ty, ListValue []))
 let opt_declaration (n, ty) = (n, OptType ty)