diff options
Diffstat (limited to 'coq/ex/test-cases/multiple-files-multiple-dir/README')
-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. - - |