From abff92d97277a45c28cae782f34114b1819c4f35 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 11 Sep 2022 14:09:56 -0400 Subject: [PATCH] fix warning --- src/smt/preprocess.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/smt/preprocess.ml b/src/smt/preprocess.ml index 5683e4e5..a2537d6c 100644 --- a/src/smt/preprocess.ml +++ b/src/smt/preprocess.ml @@ -41,8 +41,7 @@ let create ?(stat = Stat.global) ~proof ~cc ~simplify tst : t = let on_preprocess self f = self.preprocess <- f :: self.preprocess let cc self = self.cc -let preprocess_term_ (self : t) ((module A : PREPROCESS_ACTS) as acts) - (t : term) : term = +let preprocess_term_ (self : t) acts (t : term) : term = (* how to preprocess a term and its subterms *) let rec preproc_rec_ ~is_sub t0 : Term.t = match Term.Tbl.find_opt self.preprocessed t0 with