tcoratger
diff --git a/‎src/lean_spec/subspecs/poseidon2/permutation.py‎
Lines changed: 0 additions & 2 deletions b/‎src/lean_spec/subspecs/poseidon2/permutation.py‎
Lines changed: 0 additions & 2 deletions
@@ -1,5 +1,3 @@
-# subspecs/poseidon2/permutation.py
-
 """
 A minimal Python specification for the Poseidon2 permutation.
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-# subspecs/poseidon2/permutation.py`
`2`		`-`
`3`	`1`	`"""`
`4`	`2`	`A minimal Python specification for the Poseidon2 permutation.`
`5`	`3`