print_oper(f, e, parent, "&");
break;
case E_NOT:
- print_expr(f, e->left.expr, parent, suffix, "label=\"!\",color=red");
+ print_expr(f, e->left.expr, parent, suffix, "arrowhead=odot");
break;
case E_EQUAL:
print_oper(f, e, parent, "=");
char *opts = "";
if (is_interesting(sym))
- opts = " [color=blue,fontcolor=blue]";
+ opts = " [penwidth=3]";
+ else
+ opts = " [color=gray]";
fprintf(f, "\"%s\"%s;\n", sym->name, opts);
print_expr(f, sym->dir_dep.expr, sym->name, "", "");
if (sym->rev_dep.expr) {