]> rtime.felk.cvut.cz Git - linux-conf-perf.git/blobdiff - kconfig2sat/kconfig/expr.h
kconfig2sat: More work
[linux-conf-perf.git] / kconfig2sat / kconfig / expr.h
index a8f8361f1b2e846d7d5b5bf8b2a8527dfc35abd6..19a52b06350501ae6dee34ebc1effbc65e190339 100644 (file)
@@ -44,7 +44,7 @@ struct expr {
        enum expr_type type;
        union expr_data left, right;
 
-       struct lcp_expr *lcp;
+       struct lcp_expr lcp;
 };
 
 #define EXPR_OR(dep1, dep2)    (((dep1)>(dep2))?(dep1):(dep2))
@@ -89,7 +89,7 @@ struct symbol {
        struct expr_value dir_dep;
        struct expr_value rev_dep;
 
-       struct lcp_symbol *lcp;
+       struct lcp_symbol lcp;
 };
 
 #define for_all_symbols(i, sym) for (i = 0; i < SYMBOL_HASHSIZE; i++) for (sym = symbol_hash[i]; sym; sym = sym->next) if (sym->type != S_OTHER)