diff options
Diffstat (limited to 'programs/src/kconfig_parser/output.c')
| -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++) { |