diff --git a/Cargo.toml b/Cargo.toml
index b683adde7..e0807f744 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -12,7 +12,7 @@ ark-ff = "0.3.0"
 ark-bls12-381 = "0.3.0"                                                                                         # bls12-381 curve for r1cs backend
 ark-bn254 = "0.3.0"                                                                                             # bn128 curve for r1cs backend
 ark-serialize = "0.3.0"                                                                                         # serialization of arkworks types
-educe = { version = "0.6", default-features = false, features = ["Hash"] }
+educe = { version = "0.6", default-features = false, features = ["Hash", "PartialEq"] }
 ena = "0.14.0"                                                                                                  # union-find implementation for the wiring
 num-bigint = "0.4.3"                                                                                            # big int library
 camino = "1.1.1"                                                                                                # to replace Path and PathBuf
diff --git a/book/book.toml b/book/book.toml
index a6b5728f0..861e81f81 100644
--- a/book/book.toml
+++ b/book/book.toml
@@ -16,4 +16,4 @@ additional-css = ["./mdbook-admonish.css"]
 
 [preprocessor.admonish]
 command = "mdbook-admonish"
-assets_version = "3.0.2"    # do not edit: managed by `mdbook-admonish install`
+assets_version = "3.0.2" # do not edit: managed by `mdbook-admonish install`
diff --git a/src/parser/types.rs b/src/parser/types.rs
index 39eb9e125..559250e47 100644
--- a/src/parser/types.rs
+++ b/src/parser/types.rs
@@ -394,19 +394,14 @@ impl FnSig {
 
 /// Any kind of text that can represent a type, a variable, a function name, etc.
 #[derive(Debug, Default, Clone, Eq, Serialize, Deserialize, Educe)]
-#[educe(Hash)]
+#[educe(Hash, PartialEq)]
 pub struct Ident {
     pub value: String,
     #[educe(Hash(ignore))]
+    #[educe(PartialEq(ignore))]
     pub span: Span,
 }
 
-impl PartialEq for Ident {
-    fn eq(&self, other: &Self) -> bool {
-        self.value == other.value
-    }
-}
-
 impl Ident {
     pub fn new(value: String, span: Span) -> Self {
         Self { value, span }