X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.ml;h=5981cb89268b6ac1e3fd7d1f78fead9b1d121a2f;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=8bd26637047900ac5b58733437df8fbd7584816a;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/disambiguation/disambiguate.ml b/matita/components/disambiguation/disambiguate.ml
index 8bd266370..5981cb892 100644
--- a/matita/components/disambiguation/disambiguate.ml
+++ b/matita/components/disambiguation/disambiguate.ml
@@ -645,7 +645,7 @@ in refine_profiler.HExtlib.profile foo ()
                   Not_found -> None)
                thing_dom
             in
-            let diff= List.map (fun a,b -> a,description_of_alias b) diff in
+            let diff= List.map (fun (a,b) -> a,description_of_alias b) diff in
              env',diff,loc_msg,significant
           ) errors
         in