From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 00:01:12 +0200
Subject: Fix most doc issues raised by (checkdoc)

---
 coq/coq-autotest.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'coq/coq-autotest.el')

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 9126c2ae..cecfdcf1 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -97,3 +97,7 @@
   (pg-autotest timetaken 'total)
 
   (pg-autotest exit))
+
+(provide 'coq-autotest)
+
+;;; coq-autotest.el ends here
-- 
cgit v1.2.3