Dereference.

01mf02 · Apr 24, 2024 · 87faf8a · 87faf8a
1 parent ec1c4b8
commit 87faf8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dedukti-parse/src/cmd.rs b/dedukti-parse/src/cmd.rs
@@ -47,7 +47,7 @@ impl<Ty, Tm> Intro<Ty, Tm> {
     /// Only constants that are injective or introduced by definitions are rewritable.
     pub fn rewritable(&self) -> bool {
         match self {
-            Self::Declaration(inj, _) => inj,
+            Self::Declaration(inj, _) => *inj,
             Self::Definition(..) => true,
             Self::Theorem(..) => false,
         }