[nongnu] elpa/proof-general 890bebc 1/5: fix: Remove duplicate (require 'coq-syntax)

[ELPA Syncer]

branch: elpa/proof-general
commit 890bebc55af946cc86fcb6a8011295ce2158b0cd
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    fix: Remove duplicate (require 'coq-syntax)
---
 coq/coq.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 20238da..84708c1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -126,8 +126,6 @@ Namely, goals that do not fit in the goals window."
    '("Set Suggest Proof Using. ") coq-user-init-cmd)
   "Command to initialize the Coq Proof Assistant.")
 
-
-(require 'coq-syntax)
 ;; FIXME: Even if we don't use coq-indent for indentation, we still need it for
 ;; coq-script-parse-cmdend-forward/backward and coq-find-real-start.
 (require 'coq-indent)