diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index ae851a01..848eb1e3 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -397,6 +397,7 @@ exited by hand (or exits by itself)." proof-included-files-list nil proof-shell-busy nil proof-shell-proof-completed nil + proof-nesting-depth 0 proof-shell-error-or-interrupt-seen nil proof-shell-silent nil proof-shell-last-output nil |