From 661a6b44efdc2132fea679609ddbf852d83a54c8 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 16 Feb 2022 08:33:52 +0100
Subject: [PATCH] Delete GMiMC files

---
 plonky2/src/gates/gmimc.rs | 1 -
 plonky2/src/hash/gmimc.rs  | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 plonky2/src/gates/gmimc.rs
 delete mode 100644 plonky2/src/hash/gmimc.rs

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 @@
-