diff options
| -rw-r--r-- | lib/proof-compat.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 12114f58..73522b45 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -102,7 +102,8 @@ The returned value is one of the following symbols: comment ; meaning point is within a line comment" (save-excursion (if buffer (set-buffer buffer)) - (let ((pp (parse-partial-sexp (point-min) (point)))) + (let ((pp (syntax-ppss))) + ;;(parse-partial-sexp (point-min) (point)))) (cond ((nth 3 pp) 'string) ;; ((nth 7 pp) 'block-comment) |