diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-06 15:59:08 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-06 15:59:08 -0400 |
| commit | 71dcf9280a992f5aaf12e3a7163dde0652487c5f (patch) | |
| tree | 56a05ccc3fa71f846cf753bc8d862708ce55f649 | |
| parent | 3aa4eab6c3a6e2f48497e6fd7585e01b1efd123f (diff) | |
Rename IntegrationTest{=>Mul}.v
| -rw-r--r-- | _CoqProject | 2 | ||||
| -rw-r--r-- | src/Specific/IntegrationTestMul.v (renamed from src/Specific/IntegrationTest.v) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 694f80648..97b02cb5e 100644 --- a/_CoqProject +++ b/_CoqProject @@ -235,7 +235,7 @@ src/Spec/MxDH.v src/Spec/WeierstrassCurve.v src/Specific/GF1305.v src/Specific/GF25519.v -src/Specific/IntegrationTest.v +src/Specific/IntegrationTestMul.v src/Specific/NewBaseSystemTest.v src/Specific/SC25519.v src/Specific/FancyMachine256/Barrett.v diff --git a/src/Specific/IntegrationTest.v b/src/Specific/IntegrationTestMul.v index ccdbc7166..ccdbc7166 100644 --- a/src/Specific/IntegrationTest.v +++ b/src/Specific/IntegrationTestMul.v |