fixup! rules/minion: remove flatten_minus_eq

conjure-cp · Jan 10, 2025 · 926299d · 926299d
1 parent 7f57dba
commit 926299d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/crates/conjure_core/src/rules/minion.rs b/crates/conjure_core/src/rules/minion.rs
@@ -2,7 +2,6 @@
 /*        Rules for translating to Minion-supported constraints         */
 /************************************************************************/
 
-
 use crate::ast::{Atom, DecisionVariable, Domain, Expression as Expr, Literal as Lit};
 
 use crate::metadata::Metadata;