summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--save.pl1
-rw-r--r--save.pl~2
2 files changed, 1 insertions, 2 deletions
diff --git a/save.pl b/save.pl
index ab73aea..2e6a8d8 100644
--- a/save.pl
+++ b/save.pl
@@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :-
).
commit(Msg) :-
- write('creating process'), nl,
process_create(path(git), ['commit', '-m', Msg],
[process(PID)]),
process_wait(PID, S),
diff --git a/save.pl~ b/save.pl~
index 72b8dc9..ab73aea 100644
--- a/save.pl~
+++ b/save.pl~
@@ -97,4 +97,4 @@ commited(S) :-
'Files could not be saved.').
commited(_) :-
- send(@pce, destroy).
+ send(@dialog, destroy).