From 2d16d47667fc9985f315f2dbf62175217f7add1f Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 28 May 2020 16:33:33 +0200
Subject: fix: test files should not provide features

href: https://github.com/ProofGeneral/PG/issues/493#issuecomment-634493988
---
 coq/coq-par-test.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'coq')

diff --git a/coq/coq-par-test.el b/coq/coq-par-test.el
index f2e3f01d..1a006c11 100644
--- a/coq/coq-par-test.el
+++ b/coq/coq-par-test.el
@@ -959,7 +959,4 @@ test the result and side effects wth `assert'."
    (message "test failed with %s" err)
    (kill-emacs 1)))
 
-
-(provide 'coq-par-test)
-
 ;;; coq-par-test.el ends here
-- 
cgit v1.2.3