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