diff options
author | Karel Kočí <cynerd@email.cz> | 2015-03-22 23:02:20 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-03-22 23:02:20 +0100 |
commit | dc870f901b44afee25427dc6f98b609ff6eb52a8 (patch) | |
tree | f07867d0ff2982cc0d73cf8819aa96f36aa76378 /programs/src | |
parent | 3c57780436353267bab05a5b26d355c6308b43d7 (diff) | |
download | linux-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.c | 5 |
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++) { |