summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:20:26 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:20:26 +0100
commit3bae3974854a2b1101332eb145ddea53c439eb31 (patch)
tree1910e57d973e21365ec36d4be76f8367b352eb2f
parentb612d003a57e5f4de312872fcabfd50f4d732a5e (diff)
downloadsave-3bae3974854a2b1101332eb145ddea53c439eb31.tar.gz
M save.pl
M save.pl~
-rw-r--r--save.pl4
-rw-r--r--save.pl~1
2 files changed, 3 insertions, 2 deletions
diff --git a/save.pl b/save.pl
index fac8995..5990d16 100644
--- a/save.pl
+++ b/save.pl
@@ -72,8 +72,8 @@ chain_atom(C, A) :-
chain_atom_x(C, '', A).
chain_atom_x(C, A0, A) :-
- ( get(C, delete_head, A1),
- atom_concat(A0, A1, A2),
+ ( get(C, delete_head, A1)
+ -> atom_concat(A0, A1, A2),
atom_concat(A2, '
', A3),
chain_atom_x(C, A3, A)
diff --git a/save.pl~ b/save.pl~
index 2c93580..fac8995 100644
--- a/save.pl~
+++ b/save.pl~
@@ -91,4 +91,5 @@ commited(1) :-
'Files could not be saved.').
commited(0) :-
+ write(success), nl,
halt.