From f634b134ee6a4a1e00f7c89138e2bdd86890fac8 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 9 Mar 2016 19:07:03 +0100
Subject: Fixed #64 again. e2c5da0 commits was wrong.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 656d2b54..4d0017e9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1480,7 +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 (syntax-ppss))))
+       (lambda () (not (nth 4 (syntax-ppss)))))
   ;; coq mode specific indentation function
   (set (make-local-variable 'fill-paragraph-function) 'coq-fill-paragraph-function)
 
-- 
cgit v1.2.3