diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-03-13 14:49:29 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-03-13 14:49:29 +0100 |
commit | 62ec846fcaaef8f3ae94302cbef2972f88a0804f (patch) | |
tree | e8814c224114a42f7946c7fb5baddd1e745da229 /generic | |
parent | 6c703907b192bc903ca9897e17424e58e2003692 (diff) |
Fixing #167.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 51305eef..4547a835 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1115,7 +1115,8 @@ contains only invisible elements for Prooftree synchronization." ;; added by proof-shell-empty-action-list-command (prover ;; specific), call it. (when (and (null proof-action-list) - (not (memq 'empty-action-list flags))) + (not (memq 'empty-action-list flags)) + proof-shell-empty-action-list-command) (let* ((cmd (mapconcat 'identity (nth 1 item) " ")) (extra-cmds (apply proof-shell-empty-action-list-command (list cmd))) ;; tag all new items with 'empty-action-list |