diff options
author | 2011-06-07 01:48:37 +0000 | |
---|---|---|
committer | 2011-06-07 01:48:37 +0000 | |
commit | f6e2d94bd2e4b622668c9e6703e76e191224175e (patch) | |
tree | 9224f9c9387dc3b7471aa70151b430fbe2a34426 /coq/coq.el | |
parent | 34da1bb2cff1cf0f80ec6465c58f0680c3bb8d48 (diff) |
Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -333,7 +333,7 @@ SMIE is a navigation and indentation framework available in Emacs ≥ 23.3." (let ((pos (point)) (prev (smie-default-backward-token))) (if (equal prev "Module") - pref + prev (goto-char pos) tok))) ((equal tok "Module") |