diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:32 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:32 +0100 |
| commit | 7628f46fe0b35eec8ae6d4045693ca3f9598819d (patch) | |
| tree | 993a4bbec269292c025aae3633cb6486bbf37a96 | |
| parent | 67b06ee461ade5982ab7d88673737fcc9eefea21 (diff) | |
| download | save-7628f46fe0b35eec8ae6d4045693ca3f9598819d.tar.gz | |
M save.pl
M save.pl~
| -rw-r--r-- | save.pl | 2 | ||||
| -rw-r--r-- | save.pl~ | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -95,4 +95,4 @@ commited(S) :- 'Files could not be saved.'). commited(_) :- - halt. + send(@pce, destroy). @@ -94,5 +94,5 @@ commited(S) :- send(@display, report, error, 'Files could not be saved.'). -commited(exit(_)) :- +commited(_) :- halt. |