From 9aee35c6ce635bf4f5de4f790d9074613896040c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 22 Aug 2021 01:31:59 -0400
Subject: [PATCH] fix other issue in th-bool preprocessing

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

diff --git a/src/th-bool-static/Sidekick_th_bool_static.ml b/src/th-bool-static/Sidekick_th_bool_static.ml
index 2c702cc8..379ce538 100644
--- a/src/th-bool-static/Sidekick_th_bool_static.ml
+++ b/src/th-bool-static/Sidekick_th_bool_static.ml
@@ -277,7 +277,7 @@ module Make(A : ARG) : S with module A = A = struct
     and get_lit_uncached si t : Lit.t option =
       match A.view_as_bool t with
       | B_opaque_bool _ -> None
-      | B_bool b -> Some (PA.mk_lit (T.bool self.tst b))
+      | B_bool _ -> None
       | B_not u ->
         let lit = get_lit_opt u in
         CCOpt.map Lit.neg lit