diff options
Diffstat (limited to 'clang/utils/analyzer/exploded-graph-rewriter.py')
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index 46c0415826a..79055b433e8 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/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) |
