diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-12-04 11:51:23 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-12-04 11:51:23 +0100 |
commit | c480238a9369b11f7f415c9c97324a5cfa61f40d (patch) | |
tree | 6469f27870b47876b72825c9e481aa4eb4f07322 /coq/coq.el | |
parent | b96a2c3ea17b90868f274586a5fad2639122a2ef (diff) |
Fixed a typo.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1176,10 +1176,10 @@ width is synchronized by coq (?!)." ;; defpacustom fails to call :eval during inititialization, see trac #456 (coq-set-auto-adapt-printing-width) -;; this initiates aut adapt printing width at start, by reading the config var. -;; Let us put this at the end of hooks to have a chance to read local variables -;; first. -(add-hook 'coq-mode-hook 'coq-auto-adapt-printing-width-switch t) +;; this initiates auto adapt printing width at start, by reading the config +;; var. Let us put this at the end of hooks to have a chance to read local +;; variables first. +(add-hook 'coq-mode-hook 'coq-auto-adapt-printing-width t) (defvar coq-shell-current-line-width nil "Current line width of the Coq printing width. |