Fix some compile errors

1 files changed, 3 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index fd008ec8..810db4b4 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -847,7 +847,6 @@ This is specific to coq-mode."
 		proof-shell-process-file nil
 		proof-shell-inform-file-retracted-cmd nil)))
 
-(provide 'coq)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
@@ -896,6 +895,9 @@ mouse activation."
                  ,(format "Check %s." thm))))))
   )
 
+(provide 'coq)
+
+
 ;;;   Local Variables: ***
 ;;;   tab-width:2 ***
 ;;;   fill-column: 85 ***