From c9127c6cd788cf68fe14f6ffcc31f5a6f4c3e832 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 10 Sep 2022 21:48:51 -0400
Subject: [PATCH] fix(base/form): fix CNF for `equiv`

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

diff --git a/src/base/Form.ml b/src/base/Form.ml
index add55281..97eee43c 100644
--- a/src/base/Form.ml
+++ b/src/base/Form.ml
@@ -49,7 +49,7 @@ let view (t : T.t) : T.t view =
   | E_const { Const.c_view = T.C_false; _ }, [] -> B_bool false
   | E_const { Const.c_view = T.C_not; _ }, [ a ] -> B_not a
   | E_const { Const.c_view = T.C_eq; _ }, [ _ty; a; b ] ->
-    if Ty.is_bool a then
+    if Ty.is_bool (Term.ty a) then
       B_equiv (a, b)
     else
       B_eq (a, b)