From 12fed8a8118725ce4b8b1ce906709e71d2455dfa Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 3 Aug 2016 20:25:08 +0200 Subject: [PATCH] do not ask for comparison on terms and formulas --- src/core/expr_intf.ml | 2 -- src/core/formula_intf.ml | 3 +-- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/src/core/expr_intf.ml b/src/core/expr_intf.ml index 685e46ff..a718e935 100644 --- a/src/core/expr_intf.ml +++ b/src/core/expr_intf.ml @@ -16,7 +16,6 @@ module type S = sig type t val hash : t -> int val equal : t -> t -> bool - val compare : t -> t -> int val print : Format.formatter -> t -> unit end @@ -25,7 +24,6 @@ module type S = sig type t val hash : t -> int val equal : t -> t -> bool - val compare : t -> t -> int val print : Format.formatter -> t -> unit end diff --git a/src/core/formula_intf.ml b/src/core/formula_intf.ml index cd6583e7..360fde32 100644 --- a/src/core/formula_intf.ml +++ b/src/core/formula_intf.ml @@ -34,8 +34,7 @@ module type S = sig val hash : t -> int val equal : t -> t -> bool - val compare : t -> t -> int - (** Usual hash and comparison functions. Given to Map and Hash functors. *) + (** Usual hash and comparison functions. Given to Hashtbl functors. *) val print : Format.formatter -> t -> unit (** Printing function used for debugging. *)