diff options
| author | Erik Martin-Dorel | 2020-05-28 16:33:33 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-28 16:37:44 +0200 |
| commit | 2d16d47667fc9985f315f2dbf62175217f7add1f (patch) | |
| tree | aa030babc8a9c78d1b1fac5c7a19eaf27c4969a2 /coq | |
| parent | 3a5beb79132e23b335f28ab2aef24fa6e587797d (diff) | |
fix: test files should not provide features
href: https://github.com/ProofGeneral/PG/issues/493#issuecomment-634493988
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-par-test.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/coq/coq-par-test.el b/coq/coq-par-test.el index f2e3f01d..1a006c11 100644 --- a/coq/coq-par-test.el +++ b/coq/coq-par-test.el @@ -959,7 +959,4 @@ test the result and side effects wth `assert'." (message "test failed with %s" err) (kill-emacs 1))) - -(provide 'coq-par-test) - ;;; coq-par-test.el ends here |