10 files changed, 10 insertions, 10 deletions
diff --git a/src/Specific/NISTP256/AMD64/feadd.v b/src/Specific/NISTP256/AMD64/feadd.v
index 5de6fc03a..23a38978c 100644
--- a/src/Specific/NISTP256/AMD64/feadd.v
+++ b/src/Specific/NISTP256/AMD64/feadd.v
@@ -15,7 +15,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.
 
diff --git a/src/Specific/NISTP256/AMD64/feaddDisplay.v b/src/Specific/NISTP256/AMD64/feaddDisplay.v
index 452044402..b6e79f393 100644
--- a/src/Specific/NISTP256/AMD64/feaddDisplay.v
+++ b/src/Specific/NISTP256/AMD64/feaddDisplay.v
@@ -1,4 +1,4 @@
 Require Import Crypto.Specific.NISTP256.AMD64.feadd.
-Require Import Crypto.Specific.IntegrationTestDisplayCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
 
 Check display add.
diff --git a/src/Specific/NISTP256/AMD64/femul.v b/src/Specific/NISTP256/AMD64/femul.v
index f87e6d26b..5904b1fff 100644
--- a/src/Specific/NISTP256/AMD64/femul.v
+++ b/src/Specific/NISTP256/AMD64/femul.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.
 
diff --git a/src/Specific/NISTP256/AMD64/femulDisplay.v b/src/Specific/NISTP256/AMD64/femulDisplay.v
index f47c0ba06..acde66b0e 100644
--- a/src/Specific/NISTP256/AMD64/femulDisplay.v
+++ b/src/Specific/NISTP256/AMD64/femulDisplay.v
@@ -1,4 +1,4 @@
 Require Import Crypto.Specific.NISTP256.AMD64.femul.
-Require Import Crypto.Specific.IntegrationTestDisplayCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
 
 Check display mul.
diff --git a/src/Specific/NISTP256/AMD64/fenz.v b/src/Specific/NISTP256/AMD64/fenz.v
index c74e7a872..13dc4478f 100644
--- a/src/Specific/NISTP256/AMD64/fenz.v
+++ b/src/Specific/NISTP256/AMD64/fenz.v
@@ -17,7 +17,7 @@ Require Import Crypto.Util.Tactics.DestructHead.
 Require Import Crypto.Util.ZUtil.Tactics.LtbToLt.
 Import ListNotations.
 
-Require Import Crypto.Specific.IntegrationTestTemporaryMiscCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestTemporaryMiscCommon.
 
 Require Import Crypto.Compilers.Z.Bounds.Pipeline.
 
diff --git a/src/Specific/NISTP256/AMD64/fenzDisplay.v b/src/Specific/NISTP256/AMD64/fenzDisplay.v
index c4119449f..77c48f76f 100644
--- a/src/Specific/NISTP256/AMD64/fenzDisplay.v
+++ b/src/Specific/NISTP256/AMD64/fenzDisplay.v
@@ -1,4 +1,4 @@
 Require Import Crypto.Specific.NISTP256.AMD64.fenz.
-Require Import Crypto.Specific.IntegrationTestDisplayCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
 
 Check display nonzero.
diff --git a/src/Specific/NISTP256/AMD64/feopp.v b/src/Specific/NISTP256/AMD64/feopp.v
index 14342c238..d57948035 100644
--- a/src/Specific/NISTP256/AMD64/feopp.v
+++ b/src/Specific/NISTP256/AMD64/feopp.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.
 
diff --git a/src/Specific/NISTP256/AMD64/feoppDisplay.v b/src/Specific/NISTP256/AMD64/feoppDisplay.v
index 9075af2f2..7d2a65b6f 100644
--- a/src/Specific/NISTP256/AMD64/feoppDisplay.v
+++ b/src/Specific/NISTP256/AMD64/feoppDisplay.v
@@ -1,4 +1,4 @@
 Require Import Crypto.Specific.NISTP256.AMD64.feopp.
-Require Import Crypto.Specific.IntegrationTestDisplayCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
 
 Check display opp.
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.
 
diff --git a/src/Specific/NISTP256/AMD64/fesubDisplay.v b/src/Specific/NISTP256/AMD64/fesubDisplay.v
index 0f771869c..01559b019 100644
--- a/src/Specific/NISTP256/AMD64/fesubDisplay.v
+++ b/src/Specific/NISTP256/AMD64/fesubDisplay.v
@@ -1,4 +1,4 @@
 Require Import Crypto.Specific.NISTP256.AMD64.fesub.
-Require Import Crypto.Specific.IntegrationTestDisplayCommon.
+Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
 
 Check display sub.