From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Jul 2005 15:08:57 +0000 (+0000)
Subject: arguments of ProofEngineHelpers.replace swapped.
X-Git-Tag: V_0_7_2~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a822b6e6080d6030257037bdf1f475bfa1eeb75a;p=helm.git

arguments of ProofEngineHelpers.replace swapped.
---

diff --git a/helm/ocaml/paramodulation/saturation.ml b/helm/ocaml/paramodulation/saturation.ml
index 13bb5714a..413c7b15e 100644
--- a/helm/ocaml/paramodulation/saturation.ml
+++ b/helm/ocaml/paramodulation/saturation.ml
@@ -1170,7 +1170,7 @@ let saturate dbd (proof, goal) =
                  (string_of_bool
                     (fst (CicReduction.are_convertible
                             context type_of_goal ty ug))));
-            let equality_for_replace t1 i =
+            let equality_for_replace i t1 =
               match t1 with
               | C.Meta (n, _) -> n = i
               | _ -> false