diff options
Diffstat (limited to 'ci/coq-tests.el')
| -rw-r--r-- | ci/coq-tests.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ci/coq-tests.el b/ci/coq-tests.el index 015b831e..1a281521 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 |