diff options
| author | Vincent Laporte | 2018-10-03 07:21:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-04 08:01:40 +0000 |
| commit | 1b06197525c2a3a5be8c6b20eef3227fa5ef3dc8 (patch) | |
| tree | 91d8e0d8fb469588e5571bfb2df3cf821f31098f /test-suite/failure | |
| parent | db22ae6140259dd065fdd80af4cb3c3bab41c184 (diff) | |
test-suite: rename a few files
Diffstat (limited to 'test-suite/failure')
| -rw-r--r-- | test-suite/failure/guard_cofix.v (renamed from test-suite/failure/guard-cofix.v) | 0 | ||||
| -rw-r--r-- | test-suite/failure/prop_set_proof_irrelevance.v (renamed from test-suite/failure/prop-set-proof-irrelevance.v) | 0 | ||||
| -rw-r--r-- | test-suite/failure/universes_buraliforti.v (renamed from test-suite/failure/universes-buraliforti.v) | 0 | ||||
| -rw-r--r-- | test-suite/failure/universes_buraliforti_redef.v (renamed from test-suite/failure/universes-buraliforti-redef.v) | 0 | ||||
| -rw-r--r-- | test-suite/failure/universes_sections1.v (renamed from test-suite/failure/universes-sections1.v) | 0 | ||||
| -rw-r--r-- | test-suite/failure/universes_sections2.v (renamed from test-suite/failure/universes-sections2.v) | 0 |
6 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/failure/guard-cofix.v b/test-suite/failure/guard_cofix.v index 3ae8770546..3ae8770546 100644 --- a/test-suite/failure/guard-cofix.v +++ b/test-suite/failure/guard_cofix.v diff --git a/test-suite/failure/prop-set-proof-irrelevance.v b/test-suite/failure/prop_set_proof_irrelevance.v index fee33432b0..fee33432b0 100644 --- a/test-suite/failure/prop-set-proof-irrelevance.v +++ b/test-suite/failure/prop_set_proof_irrelevance.v diff --git a/test-suite/failure/universes-buraliforti.v b/test-suite/failure/universes_buraliforti.v index dba1a794fa..dba1a794fa 100644 --- a/test-suite/failure/universes-buraliforti.v +++ b/test-suite/failure/universes_buraliforti.v diff --git a/test-suite/failure/universes-buraliforti-redef.v b/test-suite/failure/universes_buraliforti_redef.v index e016815880..e016815880 100644 --- a/test-suite/failure/universes-buraliforti-redef.v +++ b/test-suite/failure/universes_buraliforti_redef.v diff --git a/test-suite/failure/universes-sections1.v b/test-suite/failure/universes_sections1.v index 3f8e444623..3f8e444623 100644 --- a/test-suite/failure/universes-sections1.v +++ b/test-suite/failure/universes_sections1.v diff --git a/test-suite/failure/universes-sections2.v b/test-suite/failure/universes_sections2.v index 34b2a11ded..34b2a11ded 100644 --- a/test-suite/failure/universes-sections2.v +++ b/test-suite/failure/universes_sections2.v |