From b595a6436891bc4bf6cb0cc00f2589a4fbe60eca Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 26 Apr 2006 13:23:29 +0000 Subject: [PATCH] removed ocaml equality on equations --- helm/software/components/tactics/paramodulation/saturation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/tactics/paramodulation/saturation.ml b/helm/software/components/tactics/paramodulation/saturation.ml index fac0197df..d5da5485f 100644 --- a/helm/software/components/tactics/paramodulation/saturation.ml +++ b/helm/software/components/tactics/paramodulation/saturation.ml @@ -112,7 +112,7 @@ module OrderedEquality = struct | 0 -> let res = (List.length m1) - (List.length m2) in if res <> 0 then res else - Pervasives.compare eq1 eq2 + Equality.compare eq1 eq2 | res -> res end -- 2.39.2