diff options
| -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 |