1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq.el b/coq/coq.el
index d64d4e93..9cb6de05 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -686,6 +686,7 @@ Based on idea mentioned in Coq reference manual."
 ;	proof-shell-stop-silent-cmd  "End Silent. ")
 
   (coq-init-syntax-table)
+  (setq comment-quote-nested nil) ;; we can cope with nested comments
 
   ;; font-lock
   (setq font-lock-keywords coq-font-lock-keywords-1)