diff options
Diffstat (limited to 'src/Specific/FancyMachine256/Core.v')
| -rw-r--r-- | src/Specific/FancyMachine256/Core.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Specific/FancyMachine256/Core.v b/src/Specific/FancyMachine256/Core.v index 704144a07..6ea614936 100644 --- a/src/Specific/FancyMachine256/Core.v +++ b/src/Specific/FancyMachine256/Core.v @@ -24,6 +24,7 @@ Require Export Crypto.Util.Option. Require Export Crypto.Util.Notations. Require Import Crypto.Util.ListUtil. Require Export Crypto.Util.LetIn. +Require Import Crypto.Util.Tactics.BreakMatch. Export ListNotations. Open Scope Z_scope. |