X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.ml;h=19c16d1305e89c3fdb0b734f370438eed5af5d38;hb=3220eee6c3dd2968727c5c595d6ca78e89291b5f;hp=50d1d59da6013658ca50d4012f18e550e773ed94;hpb=cf8b1c25a0011ca2a8a856b39e046da33c451221;p=helm.git

diff --git a/matita/components/disambiguation/disambiguateTypes.ml b/matita/components/disambiguation/disambiguateTypes.ml
index 50d1d59da..19c16d130 100644
--- a/matita/components/disambiguation/disambiguateTypes.ml
+++ b/matita/components/disambiguation/disambiguateTypes.ml
@@ -53,10 +53,10 @@ struct
 
   let find k env =
    match k with
-      Symbol (sym,n) ->
+      Symbol (sym,_n) ->
        (try find k env
         with Not_found -> find (Symbol (sym,0)) env)
-    | Num n ->
+    | Num _n ->
        (try find k env
         with Not_found -> find (Num 0) env)
     | _ -> find k env