From d665f83c65b64b8cb375a4020097b7ac8615b51a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 19 Mar 2021 12:43:38 -0400
Subject: [PATCH] add assertion

---
 src/th-bool-static/Sidekick_th_bool_static.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/th-bool-static/Sidekick_th_bool_static.ml b/src/th-bool-static/Sidekick_th_bool_static.ml
index a177b2da..63f69a64 100644
--- a/src/th-bool-static/Sidekick_th_bool_static.ml
+++ b/src/th-bool-static/Sidekick_th_bool_static.ml
@@ -137,6 +137,7 @@ module Make(A : ARG) : S with module A = A = struct
     Log.debugf 20
       (fun k->k "(@[sidekick.bool.proxy@ :t %a@ :for %a@])"
           T.pp u T.pp for_);
+    assert (Ty.equal ty (T.ty u));
     u
 
   let fresh_lit (self:state) ~for_ ~mk_lit ~pre : Lit.t =