diff options
Diffstat (limited to 'src/Specific/IntegrationTest.v')
| -rw-r--r-- | src/Specific/IntegrationTest.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Specific/IntegrationTest.v b/src/Specific/IntegrationTest.v index 1e62937df..09280851a 100644 --- a/src/Specific/IntegrationTest.v +++ b/src/Specific/IntegrationTest.v @@ -10,8 +10,6 @@ Require Import Crypto.ModularArithmetic.PrimeFieldTheorems. Require Import Crypto.Util.Tuple Crypto.Util.Sigma Crypto.Util.Notations Crypto.Util.ZRange Crypto.Util.BoundedWord. Import ListNotations. -Require Import Crypto.Reflection.Z.Bounds.Pipeline.Glue. - Section BoundedField25p5. Local Coercion Z.of_nat : nat >-> Z. |