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
---
 etc/testsuite/pg-pgip-test.el | 1 -
 etc/testsuite/pg-test.el      | 6 ------
 2 files changed, 7 deletions(-)

(limited to 'etc')

diff --git a/etc/testsuite/pg-pgip-test.el b/etc/testsuite/pg-pgip-test.el
index 968c2289..87176312 100644
--- a/etc/testsuite/pg-pgip-test.el
+++ b/etc/testsuite/pg-pgip-test.el
@@ -24,5 +24,4 @@
 (pg-test-eval (pg-pgip-interpret-value "27" (list 'choice 'boolean 'integer)) 27)
 
 
-(provide 'pg-pgip-test)
 ;; End of `pg-pgip-test.el'
diff --git a/etc/testsuite/pg-test.el b/etc/testsuite/pg-test.el
index 2c064827..ce973427 100644
--- a/etc/testsuite/pg-test.el
+++ b/etc/testsuite/pg-test.el
@@ -113,10 +113,4 @@
   (setq pg-test-total-fail-count 0)
   (mapcar 'pg-execute-test-suite (mapcar 'car pg-test-suite-table)))
 
-
-
-
-
-
-(provide 'pg-test)
 ;; End of `pg-test.el'
-- 
cgit v1.2.3