diff options
Diffstat (limited to 'src/Specific/NISTP256/AMD64/fesub.v')
-rw-r--r-- | src/Specific/NISTP256/AMD64/fesub.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/NISTP256/AMD64/fesub.v b/src/Specific/NISTP256/AMD64/fesub.v index adf278faa..4098ffcfc 100644 --- a/src/Specific/NISTP256/AMD64/fesub.v +++ b/src/Specific/NISTP256/AMD64/fesub.v @@ -16,7 +16,7 @@ Require Import Crypto.Util.Tactics.MoveLetIn. Require Import Crypto.Util.Tactics.DestructHead. Import ListNotations. -Require Import Crypto.Specific.IntegrationTestTemporaryMiscCommon. +Require Import Crypto.Specific.Framework.IntegrationTestTemporaryMiscCommon. Require Import Crypto.Compilers.Z.Bounds.Pipeline. |