aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <Pierre.Courtieu@cnam.fr>2015-12-04 11:51:23 +0100
committerGravatar Pierre Courtieu <Pierre.Courtieu@cnam.fr>2015-12-04 11:51:23 +0100
commitc480238a9369b11f7f415c9c97324a5cfa61f40d (patch)
tree6469f27870b47876b72825c9e481aa4eb4f07322 /coq/coq.el
parentb96a2c3ea17b90868f274586a5fad2639122a2ef (diff)
Fixed a typo.
Diffstat (limited to 'coq/coq.el')
-rw-r--r--coq/coq.el8
1 files changed, 4 insertions, 4 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 9c55a195..7ed889a5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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.