From 99349098a04923dd5c54df2c1832d3b03858363a Mon Sep 17 00:00:00 2001
From: Arthur Bit-Monnot <abitmonnot@laas.fr>
Date: Fri, 8 Nov 2024 16:20:13 +0100
Subject: [PATCH] chore(lint): Fix clippy lints

---
 solver/src/reasoners/stn/theory.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/solver/src/reasoners/stn/theory.rs b/solver/src/reasoners/stn/theory.rs
index d81ce64a..791fdbff 100644
--- a/solver/src/reasoners/stn/theory.rs
+++ b/solver/src/reasoners/stn/theory.rs
@@ -196,6 +196,7 @@ enum TheoryPropagationCause {
 }
 
 #[derive(Copy, Clone)]
+#[allow(clippy::enum_variant_names)]
 pub(crate) enum ModelUpdateCause {
     /// The update was caused by an edge propagation
     EdgePropagation(PropagatorId),
@@ -221,7 +222,7 @@ impl From<u32> for ModelUpdateCause {
 impl From<ModelUpdateCause> for u32 {
     fn from(cause: ModelUpdateCause) -> Self {
         match cause {
-            ModelUpdateCause::EdgePropagation(edge) => (u32::from(edge) << 2) | 0b00,
+            ModelUpdateCause::EdgePropagation(edge) => u32::from(edge) << 2,
             ModelUpdateCause::CyclicEdgePropagation(edge) => (u32::from(edge) << 2) | 0b01,
             ModelUpdateCause::TheoryPropagation(index) => (index << 2) | 0b10,
         }