diff options
Diffstat (limited to 'utils/analyzer/exploded-graph-rewriter.py')
| -rwxr-xr-x | utils/analyzer/exploded-graph-rewriter.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/analyzer/exploded-graph-rewriter.py b/utils/analyzer/exploded-graph-rewriter.py index ced5c36bab..05b01b3f95 100755 --- a/utils/analyzer/exploded-graph-rewriter.py +++ b/utils/analyzer/exploded-graph-rewriter.py @@ -784,7 +784,7 @@ class DotDumpVisitor(object): self._dump('<tr><td bgcolor="%s"><b>Node %d (%s) - ' 'State %s</b></td></tr>' - % ("gray20" if self._dark_mode else "gray", + % ("gray20" if self._dark_mode else "gray70", node.node_id, node.ptr, node.state.state_id if node.state is not None else 'Unspecified')) if node.has_report: |