diff options
| author | Arnaud Spiwack | 2014-09-24 09:38:52 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-09-24 09:38:52 +0200 |
| commit | cc9618ef7543566013f4c9831df25f9503527507 (patch) | |
| tree | b9ce23a200564ea60b3c5021d7c894ed1063714c /kernel | |
| parent | a8401c47b6fd9ff9542dfcd0f31a5e84405c930d (diff) | |
coqtop -emacs: do not declare "still unfocused goals" as an "infomsg".
This prevented the message from being silent when jumping ahead in a file. Fixes #3636.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions