X-Git-Url: https://rtime.felk.cvut.cz/gitweb/linux-conf-perf.git/blobdiff_plain/d8abe1e30033c7d29bc9b3bd9d353575d13abea6..6b7ae6f3e38a06223d0a44ff28f6ff5951703f6f:/kconfig2sat/lcp_data.h

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
index 4953b3f..e3ea702 100644
--- a/kconfig2sat/lcp_data.h
+++ b/kconfig2sat/lcp_data.h
@@ -14,6 +14,7 @@ struct lcp_symbol {
 
 struct lcp_expr {
 	sat_id id;
+	int variable:1;		/* The value of the expression depends on variable symbol. */
 };