diff options
-rw-r--r-- | _CoqProject | 2 | ||||
-rw-r--r-- | src/Arithmetic/MontgomeryReduction/WordByWord/TemporaryFileCombined.v (renamed from src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 518956f8c..2770bc7db 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,8 +22,8 @@ src/Arithmetic/BarrettReduction/HAC.v src/Arithmetic/BarrettReduction/Wikipedia.v src/Arithmetic/MontgomeryReduction/Definition.v src/Arithmetic/MontgomeryReduction/Proofs.v -src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v src/Arithmetic/MontgomeryReduction/WordByWord/Definition.v +src/Arithmetic/MontgomeryReduction/WordByWord/TemporaryFileCombined.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v src/Compilers/CommonSubexpressionEliminationInterp.v diff --git a/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v b/src/Arithmetic/MontgomeryReduction/WordByWord/TemporaryFileCombined.v index 44a62c5fe..44a62c5fe 100644 --- a/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v +++ b/src/Arithmetic/MontgomeryReduction/WordByWord/TemporaryFileCombined.v |