chore: remove empty file

OpenZeppelin · Apr 3, 2024 · 467eade · 467eade
1 parent 9cce8b7
commit 467eade
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/lib/grip/src/lib.rs b/lib/grip/src/lib.rs
@@ -1,7 +1,6 @@
 #![doc = include_str!("../README.md")]
 mod context;
 pub mod prelude;
-mod proc;
 mod shims;
 mod storage;
 

diff --git a/lib/grip/src/proc.rs b/lib/grip/src/proc.rs