From 6782fb6858b06af73ccbd3ba85573b80dac7bdcb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 19 Nov 2005 15:07:00 +0000 Subject: [PATCH] Typo fixed. --- helm/ocaml/cic_disambiguation/disambiguate.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 | [] -> -- 2.39.2