aboutsummaryrefslogtreecommitdiff
path: root/programs/src
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-03-22 23:02:20 +0100
committerKarel Kočí <cynerd@email.cz>2015-03-22 23:02:20 +0100
commitdc870f901b44afee25427dc6f98b609ff6eb52a8 (patch)
treef07867d0ff2982cc0d73cf8819aa96f36aa76378 /programs/src
parent3c57780436353267bab05a5b26d355c6308b43d7 (diff)
downloadlinux-conf-perf-dc870f901b44afee25427dc6f98b609ff6eb52a8.tar.gz
linux-conf-perf-dc870f901b44afee25427dc6f98b609ff6eb52a8.tar.bz2
linux-conf-perf-dc870f901b44afee25427dc6f98b609ff6eb52a8.zip
kconfig_parser repair error
Wrong rule output for reverse dependency when expression is reduced.
Diffstat (limited to 'programs/src')
-rw-r--r--programs/src/kconfig_parser/output.c5
1 files changed, 2 insertions, 3 deletions
diff --git a/programs/src/kconfig_parser/output.c b/programs/src/kconfig_parser/output.c
index 149a7b6..989f4f0 100644
--- a/programs/src/kconfig_parser/output.c
+++ b/programs/src/kconfig_parser/output.c
@@ -6,12 +6,11 @@ void fprint_rules_cnf(FILE * f, unsigned id, struct cnfexpr *cnf, bool nt) {
case CT_FALSE:
// Never satisfiable
if (!nt)
- fprintf(f, "-%d\n", id);
+ fprintf(f, "-");
+ fprintf(f, "%d\n", id);
break;
case CT_TRUE:
// Always satisfiable
- if (nt)
- fprintf(f, "%d\n", id);
break;
case CT_EXPR:
for (i = 0; i < cnf->size; i++) {