diff options
Diffstat (limited to 'src/Specific/NISTP256/FancyMachine256/Core.v')
| -rw-r--r-- | src/Specific/NISTP256/FancyMachine256/Core.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Specific/NISTP256/FancyMachine256/Core.v b/src/Specific/NISTP256/FancyMachine256/Core.v index fec353c6f..881fa2e1e 100644 --- a/src/Specific/NISTP256/FancyMachine256/Core.v +++ b/src/Specific/NISTP256/FancyMachine256/Core.v @@ -20,7 +20,6 @@ Require Import Crypto.Compilers.Linearize. Require Import Crypto.Compilers.Inline. Require Import Crypto.Compilers.CommonSubexpressionElimination. Require Export Crypto.Compilers.Reify. -Require Export Crypto.Util.ZUtil. Require Export Crypto.Util.Option. Require Export Crypto.Util.Notations. Require Import Crypto.Util.ListUtil. |