chore: rm empty util module

snarkify · Sep 27, 2023 · 4343e01 · 4343e01
1 parent 1e559a6
commit 4343e01
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/gadgets/nonnative/util.rs b/src/gadgets/nonnative/util.rs