From 010451145cb2aba0ae2ea3ba633eb38a8c448da6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 8 Aug 2022 21:16:54 -0400
Subject: [PATCH] fix(core-logic): bad constant for ite

---
 src/core-logic/t_builtins.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core-logic/t_builtins.ml b/src/core-logic/t_builtins.ml
index b5b1e923..7dcb1b66 100644
--- a/src/core-logic/t_builtins.ml
+++ b/src/core-logic/t_builtins.ml
@@ -61,7 +61,7 @@ let c_ite store =
     DB.pi_db ~var_name:"A" store ~var_ty:type_
     @@ arrow_l store [ bool store; v; v ] v
   in
-  const store @@ Const.make C_eq ops ~ty
+  const store @@ Const.make C_ite ops ~ty
 
 let c_not store =
   let b = bool store in