fix: test files should not provide features

Close #493
ProofGeneral · May 26, 2020 · d20ad3d · d20ad3d
1 parent ea62543
commit d20ad3d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git 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
@@ -30,5 +30,4 @@
 (eval-when-compile
   (require 'ert-async))
 
-(provide 'init-tests)
 ;;; init-tests.el ends here