diff options
-rw-r--r-- | coq/coq-syntax.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 9b533aba..1220d5d2 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -528,7 +528,11 @@ Idtac (Nop) tactic, put the following line in your .emacs: (modify-syntax-entry ?_ "w") (modify-syntax-entry ?\' "_") (modify-syntax-entry ?\| ".") - (modify-syntax-entry ?\* ". 23") + (condition-case nil + ;; Try to use Emacs-21's nested comments. + (modify-syntax-entry ?\* ". 23n") + ;; Revert to non-nested comments if that failed. + (error (modify-syntax-entry ?\* ". 23"))) (modify-syntax-entry ?\( "()1") (modify-syntax-entry ?\) ")(4")) |