From 0e84b2bdd0c3f32680a956cf83e24c805eddeca8 Mon Sep 17 00:00:00 2001 From: Andreas Roehler Date: Tue, 8 Oct 2024 08:44:54 +0200 Subject: [PATCH] #795, Compiler warnings: wrong usage of unescaped single quotes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 6e79e95f3..680292d16 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)