From ffa0731cc244091460586b46bf4817e5a918ba49 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 5 Oct 2017 22:32:49 -0400 Subject: Reorgainze synthesis framework files into a Framework folder --- src/Specific/X25519/C32/CurveParameters.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Specific/X25519/C32/CurveParameters.v') diff --git a/src/Specific/X25519/C32/CurveParameters.v b/src/Specific/X25519/C32/CurveParameters.v index 8e7848bc1..5040bf182 100644 --- a/src/Specific/X25519/C32/CurveParameters.v +++ b/src/Specific/X25519/C32/CurveParameters.v @@ -1,4 +1,4 @@ -Require Import Crypto.Specific.CurveParameters. +Require Import Crypto.Specific.Framework.CurveParameters. Require Import Crypto.Util.LetIn. (*** -- cgit v1.2.3