From f553eb12e42b11d37dbf1ae3f8ceb859a875df98 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 9 Jan 2006 13:08:14 +0000 Subject: [PATCH] Old compare-terms function --- helm/ocaml/paramodulation/saturation.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/paramodulation/saturation.ml b/helm/ocaml/paramodulation/saturation.ml index e3799983b..eb4a35d6c 100644 --- a/helm/ocaml/paramodulation/saturation.ml +++ b/helm/ocaml/paramodulation/saturation.ml @@ -56,8 +56,8 @@ let symbols_ratio = ref (* 0 *) 3;; let symbols_counter = ref 0;; (* non-recursive Knuth-Bendix term ordering by default *) -(* Utils.compare_terms := Utils.nonrec_kbo;; *) -Utils.compare_terms := Utils.ao;; +Utils.compare_terms := Utils.nonrec_kbo;; +(* Utils.compare_terms := Utils.ao;; *) (* statistics... *) let derived_clauses = ref 0;; -- 2.39.2