diff options
| -rw-r--r-- | coq/coq-syntax.el | 4 | ||||
| -rw-r--r-- | coq/coq.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 7715cbff..4da20b29 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1022,8 +1022,8 @@ Used by `coq-goal-command-p'" (modify-syntax-entry ?< ".") (modify-syntax-entry ?> ".") (modify-syntax-entry ?\& ".") - (modify-syntax-entry ?_ "w") - (modify-syntax-entry ?\' "w") + (modify-syntax-entry ?_ "_") + (modify-syntax-entry ?\' "_") (modify-syntax-entry ?\| ".") ;; should maybe be "_" but it makes coq-find-and-forget (in coq.el) bug @@ -671,7 +671,7 @@ happen since one of them is necessarily set to t in coq-syntax.el." (and (not dontguess) (if (region-exists-p) (buffer-substring-no-properties (region-beginning) (region-end)) - (thing-at-point 'word))))) + (thing-at-point 'symbol))))) (read-string (if guess (concat s " (default " guess "): ") (concat s " : ")) nil 'proof-minibuffer-history guess))) |