From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 19 Nov 2005 15:07:00 +0000 (+0000)
Subject: Typo fixed.
X-Git-Tag: V_0_7_2_3~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6782fb6858b06af73ccbd3ba85573b80dac7bdcb;p=helm.git

Typo fixed.
---

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
         | [] ->