2 files changed, 2 insertions, 2 deletions

diff --git a/save.pl b/save.pl
index 766efd8..47121fe 100644
--- a/save.pl
+++ b/save.pl
@@ -95,4 +95,4 @@ commited(S) :-
 	     'Files could not be saved.').
 
 commited(_) :-
-	halt.
+	send(@pce, destroy).
diff --git a/save.pl~ b/save.pl~
index 5c1ec14..766efd8 100644
--- a/save.pl~
+++ b/save.pl~
@@ -94,5 +94,5 @@ commited(S) :-
 	send(@display, report, error,
 	     'Files could not be saved.').
 
-commited(exit(_)) :-
+commited(_) :-
 	halt.