aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd-diminished.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2016-01-01 20:08:31 +0100
committerMattias Andrée <maandree@member.fsf.org>2016-01-01 20:08:31 +0100
commit93548e8437d2d5895e9290770254ac03a33afe59 (patch)
tree6f85e8358347bf913f995577bf18ce7d5db91c66 /src/satd-diminished.c
parentupdate news (diff)
downloadsat-93548e8437d2d5895e9290770254ac03a33afe59.tar.gz
sat-93548e8437d2d5895e9290770254ac03a33afe59.tar.bz2
sat-93548e8437d2d5895e9290770254ac03a33afe59.tar.xz
satq does not interface with satd + fix regression bugs
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to '')
-rw-r--r--src/satd-diminished.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/satd-diminished.c b/src/satd-diminished.c
index c8c0b53..845fa13 100644
--- a/src/satd-diminished.c
+++ b/src/satd-diminished.c
@@ -135,7 +135,6 @@ spawn(int command, int fd, char *argv[], char *envp[])
switch (command) {
IMAGE(SAT_QUEUE, "add");
IMAGE(SAT_REMOVE, "rm");
- IMAGE(SAT_PRINT, "list");
IMAGE(SAT_RUN, "run");
IMAGE(-1, "timer");
default: