aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd-diminished.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2016-01-01 20:43:23 +0100
committerMattias Andrée <maandree@member.fsf.org>2016-01-01 20:43:23 +0100
commitf58973cb6e8c82d8970602c70dd99d0e1c19335a (patch)
tree289daeb2d792e5dde602a259f4c854d133fe7cbc /src/satd-diminished.c
parentsatq does not interface with satd + fix regression bugs (diff)
downloadsat-f58973cb6e8c82d8970602c70dd99d0e1c19335a.tar.gz
sat-f58973cb6e8c82d8970602c70dd99d0e1c19335a.tar.bz2
sat-f58973cb6e8c82d8970602c70dd99d0e1c19335a.tar.xz
remove satd-rm and satd-r and let satrm and satr do everything (not done yet)
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'src/satd-diminished.c')
-rw-r--r--src/satd-diminished.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/satd-diminished.c b/src/satd-diminished.c
index 845fa13..0ea60d2 100644
--- a/src/satd-diminished.c
+++ b/src/satd-diminished.c
@@ -134,8 +134,6 @@ spawn(int command, int fd, char *argv[], char *envp[])
/* Child. */
switch (command) {
IMAGE(SAT_QUEUE, "add");
- IMAGE(SAT_REMOVE, "rm");
- IMAGE(SAT_RUN, "run");
IMAGE(-1, "timer");
default:
fprintf(stderr, "%s: invalid command received.\n", argv[0]);