diff --git a/plonky2/src/gates/gmimc.rs b/plonky2/src/gates/gmimc.rs deleted file mode 100644 index 8b137891..00000000 --- a/plonky2/src/gates/gmimc.rs +++ /dev/null @@ -1 +0,0 @@ - diff --git a/plonky2/src/hash/gmimc.rs b/plonky2/src/hash/gmimc.rs deleted file mode 100644 index 8b137891..00000000 --- a/plonky2/src/hash/gmimc.rs +++ /dev/null @@ -1 +0,0 @@ -