From d50a6c12b4fef564d72b716ec94a86743658f72f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20Schro=CC=88er?= <phisch@cs.rwth-aachen.de>
Date: Tue, 9 Apr 2024 10:05:02 +0200
Subject: [PATCH] opt/boolify: fix type confusion in visit_leq

---
 src/opt/boolify.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/opt/boolify.rs b/src/opt/boolify.rs
index 170b3411..4fb0cd3c 100644
--- a/src/opt/boolify.rs
+++ b/src/opt/boolify.rs
@@ -174,7 +174,7 @@ impl Boolify {
         // no match
         self.visit_expr(lhs)?;
         self.visit_expr(rhs)?;
-        Ok(builder.binary(BinOpKind::Le, lhs.ty.clone(), lhs.clone(), rhs.clone()))
+        Ok(builder.binary(BinOpKind::Le, Some(TyKind::Bool), lhs.clone(), rhs.clone()))
     }
 
     fn visit_eq_top(&mut self, span: Span, e: &mut Expr) -> Result<Expr, ()> {