diff options
Diffstat (limited to 'src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v')
-rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v b/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v index dcacc2227..13c7937cb 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v +++ b/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v @@ -1,4 +1,4 @@ Require Import Crypto.Specific.IntegrationTestMontgomeryP256_128_Add. -Require Import Crypto.Specific.IntegrationTestDisplayCommon. +Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon. Check display add. |