diff options
| author | Erik Martin-Dorel | 2020-05-26 17:52:16 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-26 17:54:55 +0200 |
| commit | d20ad3dde9be1fc9702f794e89a127f3c3b312fd (patch) | |
| tree | 810e09e19441c2a1383eff745816c8ffb64b47b7 | |
| parent | ea62543527e6c0fcca8bbb70695e25c2f5d89614 (diff) | |
fix: test files should not provide features
Close #493
| -rw-r--r-- | ci/coq-tests.el | 2 | ||||
| -rw-r--r-- | ci/init-tests.el | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/ci/coq-tests.el b/ci/coq-tests.el index 015b831e..1a281521 100644 --- a/ci/coq-tests.el +++ b/ci/coq-tests.el @@ -254,6 +254,4 @@ For example, COMMENT could be (*test-definition*)" (insert "(*.*)") (should (equal (proof-queue-or-locked-end) 1))))) -(provide 'coq-tests) - ;;; coq-tests.el ends here diff --git a/ci/init-tests.el b/ci/init-tests.el index 565df976..6b0f4439 100644 --- a/ci/init-tests.el +++ b/ci/init-tests.el @@ -30,5 +30,4 @@ (eval-when-compile (require 'ert-async)) -(provide 'init-tests) ;;; init-tests.el ends here |