opt/boolify: fix type confusion in visit_leq

moves-rwth · Apr 9, 2024 · d50a6c1 · d50a6c1
1 parent 45b476e
commit d50a6c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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, ()> {