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 46c0415826..79055b433e 100755 --- a/utils/analyzer/exploded-graph-rewriter.py +++ b/utils/analyzer/exploded-graph-rewriter.py @@ -792,7 +792,7 @@ class DotDumpVisitor(object): def visit_state(self, s, prev_s): self.visit_store_in_state(s, prev_s) - self.visit_environment_in_state('environment', 'Environment', + self.visit_environment_in_state('environment', 'Expressions', s, prev_s) self.visit_generic_map_in_state('constraints', 'Ranges', s, prev_s) |