diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e6a2a65e..c503b336 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2205,7 +2205,7 @@ Before the retraction is calculated, we enforce the file-level protocol with `proof-activate-scripting'. This has a couple of effects: -1. If the file is is completely processed, we have to re-open it +1. If the file is completely processed, we have to re-open it for scripting again which may involve retracting other (dependent) files. |