From 7bf6b18bc0abc2a58f08b75f26a0c21b873a0989 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 20 Mar 2021 23:55:31 -0400 Subject: [PATCH] basic renaming --- src/th-bool-static/Sidekick_th_bool_static.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/th-bool-static/Sidekick_th_bool_static.ml b/src/th-bool-static/Sidekick_th_bool_static.ml index 63f69a64..9103d1db 100644 --- a/src/th-bool-static/Sidekick_th_bool_static.ml +++ b/src/th-bool-static/Sidekick_th_bool_static.ml @@ -153,11 +153,11 @@ module Make(A : ARG) : S with module A = A = struct | B_bool true -> Some b | B_bool false -> Some c | _ -> - let t_a = fresh_term self ~for_:t ~pre:"ite" (T.ty b) in + let t_ite = fresh_term self ~for_:t ~pre:"ite" (T.ty b) in let lit_a = mk_lit a in - add_clause [Lit.neg lit_a; mk_lit (eq self.tst t_a b)]; - add_clause [lit_a; mk_lit (eq self.tst t_a c)]; - Some t_a + add_clause [Lit.neg lit_a; mk_lit (eq self.tst t_ite b)]; + add_clause [lit_a; mk_lit (eq self.tst t_ite c)]; + Some t_ite end | _ -> None