docstring

1 files changed, 3 insertions, 0 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index c1aede9b..af0f4cc4 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1789,6 +1789,9 @@ If WAIT is an integer, wait for that many seconds afterwards."
   ;; (Problem to fix is that process can die before sentinel is set:
   ;;  it ought to be set just here, perhaps: but setting hook here
   ;;  had no effect for some odd reason).
+  ;; What actually happens: an obscure infinite loop somewhere
+  ;; that can lead to "lisp nesting exceeded" somewhere, when
+  ;; shell startup fails.  Ugly, but low priority to fix.
   ))
 
 ;; watch difference with proof-shell-menu, proof-shell-mode-menu.