[nongnu] elpa/proof-general 0e84b2bdd0 03/10: #795, Compiler warnings: wrong usage of unescaped single quotes

[ELPA Syncer]

branch: elpa/proof-general
commit 0e84b2bdd0c3f32680a956cf83e24c805eddeca8
Author: Andreas Roehler <andreas.roehler@online.de>
Commit: Andreas Roehler <andreas.roehler@online.de>

    #795, Compiler warnings: wrong usage of unescaped single quotes
    
    coq/coq-db.el:31:11: Warning: defconst ‘coq-syntax-db’ docstring has wrong 
usage of unescaped single quotes
    
    fixed
---
 coq/coq-db.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/coq/coq-db.el b/coq/coq-db.el
index 6e79e95f3b..680292d161 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -65,7 +65,7 @@ menu but only in interactive completions.
 Example of what could be in your emacs init file:
 
 \(defvar coq-user-tactics-db
-  '(
+  \\='(
     (\"mytac\" \"mt\" \"mytac # #\" t \"mytac\")
     (\"myassert by\" \"massb\" \"myassert ( # : # ) by #\" t \"assert\")
     ))
@@ -354,19 +354,19 @@ See `coq-syntax-db' for DB structure."
 
 (defconst coq-solve-tactics-face 'coq-solve-tactics-face
   "Expression that evaluates to a face.
-Required so that 'coq-solve-tactics-face is a proper facename")
+Required so that \\='coq-solve-tactics-face is a proper facename")
 
 (defconst coq-cheat-face 'coq-cheat-face
   "Expression that evaluates to a face.
-Required so that 'coq-cheat-face is a proper facename")
+Required so that \\='coq-cheat-face is a proper facename")
 
 (defconst coq-symbol-binder-face 'coq-symbol-binder-face
   "Expression that evaluates to a face.
-Required so that 'coq-symbol-binder-face is a proper facename")
+Required so that \\='coq-symbol-binder-face is a proper facename")
 
 (defconst coq-symbol-face 'coq-symbol-face
   "Expression that evaluates to a face.
-Required so that 'coq-symbol-binder-face is a proper facename")
+Required so that \\='coq-symbol-binder-face is a proper facename")
 
 (defconst coq-question-mark-face 'coq-question-mark-face)