Define an empty expression for and

conjure-cp · Oct 17, 2024 · 4d77c6f · 4d77c6f
1 parent 74e857f
commit 4d77c6f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/conjure_core/src/rules/base.rs b/crates/conjure_core/src/rules/base.rs
@@ -105,6 +105,7 @@ fn remove_empty_expression(expr: &Expr, _: &Model) -> ApplicationResult {
 
     let new_expr = match expr {
         Or(_, _) => Constant(Metadata::new(), Const::Bool(false)),
+        And(_, _) => Constant(Metadata::new(), Const::Bool(true)),
         _ => Nothing,
     };