From dc870f901b44afee25427dc6f98b609ff6eb52a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Sun, 22 Mar 2015 23:02:20 +0100
Subject: kconfig_parser repair error

Wrong rule output for reverse dependency when expression is reduced.
---
 programs/src/kconfig_parser/output.c | 5 ++---
 1 file 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++) {
-- 
cgit v1.2.3