diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index f79b78c2..7d3fe5b9 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -27,7 +27,7 @@ (declare-function proof-tree-urgent-action "proof-tree" (flags)) (declare-function proof-tree-handle-delayed-output "proof-tree" (old-proof-marker cmd flags span)) -(eval-when (compile) +(eval-when-compile ;; without the nil initialization the compiler still warns about this variable (defvar proof-tree-external-display nil)) |