diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 20:16:28 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-03-08 15:06:17 -0500 |
| commit | cb3f86402688e2f920d0cdc326874505d5e3aa6f (patch) | |
| tree | 090dece7cbdedcc2f04b50d333ee1abd7b402e1d /coq/coq.el | |
| parent | d3170a0cbe470cd620bc16e04eb148e554047d35 (diff) | |
Add a FIXME in coq.el
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1205,7 +1205,7 @@ flag Printing All set." ;; we can remove this. (defun coq-set-auto-adapt-printing-width (&optional symb val); args are for :set compatibility "Function called when setting `auto-adapt-printing-width'" - (setq symb val) + (setq symb val) ;; FIXME this is wrong (it should be 'set', but it would set nil sometimes) (if coq-auto-adapt-printing-width (progn (add-hook 'proof-assert-command-hook 'coq-adapt-printing-width) |