1 files changed, 1 insertions, 1 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).