diff options
Diffstat (limited to 'src/Specific/NewBaseSystemTest.v')
| -rw-r--r-- | src/Specific/NewBaseSystemTest.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/NewBaseSystemTest.v b/src/Specific/NewBaseSystemTest.v index 2271db4e4..8cbb8a596 100644 --- a/src/Specific/NewBaseSystemTest.v +++ b/src/Specific/NewBaseSystemTest.v @@ -2,7 +2,7 @@ Require Import Coq.ZArith.ZArith Coq.ZArith.BinIntDef. Require Import Coq.Lists.List. Import ListNotations. Require Import Crypto.NewBaseSystem. Import B. Require Import Crypto.ModularArithmetic.PrimeFieldTheorems. -Require Import Crypto.Util.Tactics Crypto.Util.Decidable. +Require Import (*Crypto.Util.Tactics*) Crypto.Util.Decidable. Require Import Crypto.Util.LetIn Crypto.Util.ZUtil. Require Crypto.Util.Tuple. Local Notation tuple := Tuple.tuple. |