bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#27761: Crash while using proof-general/company-coq on OS X


From: Денис Редозубов
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 2 Aug 2017 01:48:36 +0300

(gdb) tb
Temporary breakpoint 1 at 0x1000377c5: file xdisp.c, line 6922.

Also, does it also happen with Emacs master?

I haven't tried it yet, it's emacs-25 branch. Should I switch to master?

2017-08-02 1:27 GMT+03:00 John Wiegley <jwiegley@gmail.com>:
>>>>> "ДР" == Денис Редозубов <denis.redozubov@gmail.com> writes:

ДР> (gdb) tb

Thank you, Denis!

Also, does it also happen with Emacs master?

--
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2


reply via email to

[Prev in Thread] Current Thread [Next in Thread]