From c5565d1441e4882c9b4bc7181f745b4235d8353c Mon Sep 17 00:00:00 2001 From: jadep Date: Tue, 2 Apr 2019 07:39:27 -0400 Subject: run make update-_CoqProject --- _CoqProject | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_CoqProject b/_CoqProject index 9e50a0b57..40219c575 100644 --- a/_CoqProject +++ b/_CoqProject @@ -106,10 +106,10 @@ src/Primitives/EdDSARepChange.v src/Primitives/MxDHRepChange.v src/PushButtonSynthesis/BarrettReduction.v src/PushButtonSynthesis/BarrettReductionReificationCache.v -src/PushButtonSynthesis/InvertHighLow.v -src/PushButtonSynthesis/LegacySynthesisTactics.v src/PushButtonSynthesis/FancyMontgomeryReduction.v src/PushButtonSynthesis/FancyMontgomeryReductionReificationCache.v +src/PushButtonSynthesis/InvertHighLow.v +src/PushButtonSynthesis/LegacySynthesisTactics.v src/PushButtonSynthesis/Primitives.v src/PushButtonSynthesis/ReificationCache.v src/PushButtonSynthesis/SaturatedSolinas.v -- cgit v1.2.3