diff options
| author | Hendrik Tews | 2011-01-17 07:44:42 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-17 07:44:42 +0000 |
| commit | aa76421458123fc17a61f4b7218a175ece5e9404 (patch) | |
| tree | 0245b800d05734b15e2d65be0c5dd9005c143036 /coq/ex/test-cases/multiple-files-multiple-dir | |
| parent | a8855cbf77923217c40bc7abe289f778392b25a9 (diff) | |
fix problems in test cases
coq/ex/test-cases/multiple-files-single-dir and multiple-files-multiple-dir
Diffstat (limited to 'coq/ex/test-cases/multiple-files-multiple-dir')
| -rw-r--r-- | coq/ex/test-cases/multiple-files-multiple-dir/README | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/coq/ex/test-cases/multiple-files-multiple-dir/README b/coq/ex/test-cases/multiple-files-multiple-dir/README index 82c7fc2a..3e8500ff 100644 --- a/coq/ex/test-cases/multiple-files-multiple-dir/README +++ b/coq/ex/test-cases/multiple-files-multiple-dir/README @@ -16,8 +16,3 @@ a. Script c.v and watch the compilation messages in *Messages*. Touch any file and retract and assert the Require in c. - -The bugs described in ../multiple-files-single-dir/README can -also be reproduced here. - - |