From 926299d8419d3763e8fc196cce12ac042799ec34 Mon Sep 17 00:00:00 2001
From: Niklas Dewally <niklas@dewally.com>
Date: Fri, 10 Jan 2025 23:06:32 +0000
Subject: [PATCH] fixup! rules/minion: remove `flatten_minus_eq`

---
 crates/conjure_core/src/rules/minion.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/crates/conjure_core/src/rules/minion.rs b/crates/conjure_core/src/rules/minion.rs
index 6829761523..c7a8669315 100644
--- 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;