From 7628f46fe0b35eec8ae6d4045693ca3f9598819d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Sat, 22 Jan 2022 18:24:32 +0100
Subject: M  save.pl M  save.pl~

---
 save.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'save.pl')

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).
-- 
cgit v1.2.3