From 2764882f50befed9481abc77284d34b094dfdc43 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 11 Sep 2022 14:50:18 -0400
Subject: [PATCH] fix(preprocess): type check was invalid

---
 src/smt/preprocess.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/preprocess.ml b/src/smt/preprocess.ml
index 1554e909..d259097f 100644
--- a/src/smt/preprocess.ml
+++ b/src/smt/preprocess.ml
@@ -61,7 +61,7 @@ let preprocess_term_ (self : t) acts (t : term) : term =
           (* only accept a box (with possible side effect: new clauses, etc.) *)
           Log.debugf 20 (fun k ->
               k "(@[smt.preprocess.tr@ %a@ :into %a@])" Term.pp t0 Term.pp u);
-          assert (Term.(equal (ty t) (ty u)));
+          assert (Term.(equal (ty t0) (ty u)));
           u
         | None ->
           (* just preprocess subterms *)