diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Util/ZUtil/Zselect.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/Zselect.v b/src/Util/ZUtil/Zselect.v index fa9235a0b..3300cbd6e 100644 --- a/src/Util/ZUtil/Zselect.v +++ b/src/Util/ZUtil/Zselect.v @@ -1,7 +1,7 @@ Require Import Coq.ZArith.ZArith. Require Import Crypto.Util.Decidable. Require Import Crypto.Util.ZUtil.Definitions. -Require Import Crypto.Util.Tactics. +Require Import Crypto.Util.Tactics.BreakMatch. Local Open Scope Z_scope. Module Z. |