X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;h=fb0666d8dcc0b069e227e79ca845112361c74c68;hb=6782fb6858b06af73ccbd3ba85573b80dac7bdcb;hp=c8016c0bae5b15df6441de6a1358572caf1eb295;hpb=2bb6c98121db82a1c67565bb528787f2def7192d;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index c8016c0ba..fb0666d8d 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -803,7 +803,7 @@ in refine_profiler.HExtlib.profile foo ()
         | Invalid_choice msg -> Ko msg, ugraph
       in
       (* (4) build all possible interpretations *)
-      let (@@) (l1,l2) (l1',l2') = l1@l1, l2@l2' in
+      let (@@) (l1,l2) (l1',l2') = l1@l1', l2@l2' in
       let rec aux aliases diff lookup_in_todo_dom todo_dom base_univ =
         match todo_dom with
         | [] ->