From e6cd8a42dd9d0be35e9d12a9d6feb329f1ed88a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Sat, 2 May 2015 13:29:49 +0200
Subject: parse_kconfig fix problems with generated rules to be UNSAT

---
 scripts/parse_kconfig/output.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts/parse_kconfig/output.c')

diff --git a/scripts/parse_kconfig/output.c b/scripts/parse_kconfig/output.c
index 47442ce..81debaf 100644
--- a/scripts/parse_kconfig/output.c
+++ b/scripts/parse_kconfig/output.c
@@ -30,6 +30,7 @@ void output_rules_endterm(void) {
     fprintf(frules, "\n");
 }
 
+// Functions for variable_count
 void output_write_variable_count(char *var_file, int count) {
     FILE *f;
     f = fopen(var_file, "w");
-- 
cgit v1.2.3