From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Feb 2004 11:45:02 +0000 (+0000)
Subject: ...
X-Git-Tag: v0_0_4~77
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c1a5a672088af4ff926e5848396c810c2539c2f5;p=helm.git

...
---

diff --git a/helm/ocaml/cic_disambiguation/logic_notation.ml b/helm/ocaml/cic_disambiguation/logic_notation.ml
index 192c2a9c1..3c73aabd1 100644
--- a/helm/ocaml/cic_disambiguation/logic_notation.ml
+++ b/helm/ocaml/cic_disambiguation/logic_notation.ml
@@ -64,6 +64,7 @@ let _ =
        Cic.Appl [
          Cic.MutInd (HelmLibraryObjects.Logic.eq_URI, 0, []);
            Cic.Implicit (Some `Type); t1; t2
+      ]));
   DisambiguateChoices.add_binary_op "and" "logical and"
     (mutind HelmLibraryObjects.Logic.and_URI);
   DisambiguateChoices.add_binary_op "or" "logical or"