diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-05 22:32:49 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | ffa0731cc244091460586b46bf4817e5a918ba49 (patch) | |
| tree | 05bfc8058a8af3469d3652d8a7b95ca5ab45c37f /src/Specific/IntegrationTestLadderstep130.v | |
| parent | b6e37eee58b0a8f43711533d49392172786e2cb5 (diff) | |
Reorgainze synthesis framework files into a Framework folder
Diffstat (limited to 'src/Specific/IntegrationTestLadderstep130.v')
| -rw-r--r-- | src/Specific/IntegrationTestLadderstep130.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestLadderstep130.v b/src/Specific/IntegrationTestLadderstep130.v index e97784c5a..aba794f4b 100644 --- a/src/Specific/IntegrationTestLadderstep130.v +++ b/src/Specific/IntegrationTestLadderstep130.v @@ -16,7 +16,7 @@ Require Import Crypto.Util.Tactics.SubstEvars. Require Import Crypto.Curves.Montgomery.XZ. Import ListNotations. -Require Import Crypto.Specific.IntegrationTestTemporaryMiscCommon. +Require Import Crypto.Specific.Framework.IntegrationTestTemporaryMiscCommon. Require Import Crypto.Compilers.Z.Bounds.Pipeline. |