1 files changed, 1 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index bde53667..656d2b54 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1480,8 +1480,7 @@ Near here means PT is either inside or just aside of a comment."
   (set (make-local-variable 'open-paren-in-column-0-is-defun-start) nil)
   ;; do not break lines in code when filling
   (set (make-local-variable 'fill-nobreak-predicate)
-       (lambda ()
-         (not (eq (get-text-property (point) 'face) 'font-lock-comment-face))))
+       (lambda () (not (syntax-ppss))))
   ;; coq mode specific indentation function
   (set (make-local-variable 'fill-paragraph-function) 'coq-fill-paragraph-function)