diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-09 19:07:03 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-09 19:07:03 +0100 |
commit | f634b134ee6a4a1e00f7c89138e2bdd86890fac8 (patch) | |
tree | 36fa4ef1a77566051421c73de0735fd268e48ea8 /coq/coq.el | |
parent | 17d64c58588779979f1951b6f727e5deb671075c (diff) |
Fixed #64 again. e2c5da0 commits was wrong.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |