diff options
| author | Erik Martin-Dorel | 2020-05-28 19:40:46 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-28 19:40:46 +0200 |
| commit | 0bfd208037646a1e1871dae9fc6fc6be0f7bd39c (patch) | |
| tree | c4116373211b4acebbd1458f935f2e6ac5b0d5a5 | |
| parent | 97d7c15f65a0e088d942ad509f2d7b6a897a75be (diff) | |
| parent | 2d16d47667fc9985f315f2dbf62175217f7add1f (diff) | |
Merge pull request #496
fix: test files should not provide features
Fix #493 further
| -rw-r--r-- | coq/coq-par-test.el | 3 | ||||
| -rw-r--r-- | etc/testsuite/pg-pgip-test.el | 1 | ||||
| -rw-r--r-- | etc/testsuite/pg-test.el | 6 |
3 files changed, 0 insertions, 10 deletions
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 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' |