diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-28 13:04:26 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-28 13:10:43 +0100 |
commit | 515026c1a268817075d37f748db303d05b0abb00 (patch) | |
tree | b0dac377ad401cd7420f08c73db3b4600f572b4f /generic | |
parent | 19c3160837736bc96eb55e1e79516781e3534184 (diff) |
fix prooftree crash with long evar lines
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-tree.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-tree.el b/generic/proof-tree.el index 03af645e..77d3cc33 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -556,7 +556,8 @@ Runs on process status changes and cleans up when prooftree dies." "Start the external prooftree process. Does also initialize the communication channel and some internal variables." - (let ((old-proof-tree (get-process proof-tree-process-name))) + (let ((process-connection-type nil) ; use pipes, see emacs bug #24531 + (old-proof-tree (get-process proof-tree-process-name))) ;; reset output marker (when proof-tree-output-marker (set-marker proof-tree-output-marker nil) |