From d20ad3dde9be1fc9702f794e89a127f3c3b312fd Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Tue, 26 May 2020 17:52:16 +0200
Subject: [PATCH] fix: test files should not provide features

Close #493
---
 ci/coq-tests.el  | 2 --
 ci/init-tests.el | 1 -
 2 files changed, 3 deletions(-)

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