diff --git a/ci/coq-tests.el b/ci/coq-tests.el
index 015b831e2..1a2815212 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 565df976a..6b0f44393 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