From abdfd617eb0beb6961eea78e8f3b8cad73d43fde Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 19 Apr 2010 09:44:21 +0000 Subject: [PATCH] alpha_eq instead of pervasives.compare From: asperti --- helm/software/components/ng_paramodulation/nCicBlob.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/components/ng_paramodulation/nCicBlob.ml b/helm/software/components/ng_paramodulation/nCicBlob.ml index c1c7a9071..fb9ee6245 100644 --- a/helm/software/components/ng_paramodulation/nCicBlob.ml +++ b/helm/software/components/ng_paramodulation/nCicBlob.ml @@ -91,8 +91,8 @@ with type t = NCic.term and type input = NCic.term = struct ;; let compare x y = - (* if NCicReduction.alpha_eq C.metasenv C.subst C.context x y then 0 *) - if x = y then 0 + if NCicReduction.alpha_eq [] [] [] x y then 0 + (* if x = y then 0 *) else compare x y ;; -- 2.39.2