add field offset in pp

robertmuth · Feb 12, 2024 · f49bcb3 · f49bcb3
1 parent fb49a90
commit f49bcb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/FrontEnd/pp.py b/FrontEnd/pp.py
@@ -287,7 +287,7 @@ def DecorateNode(node_name, node):
         out += ["<span class=value title='",
                 str(node.x_value), "'>", CircledLetterEntity("V"), "</span>"]
     if cwast.NF.FIELD_ANNOTATED in node.FLAGS:
-        out += [CircledLetterEntity("F")]
+        out += ["<span class=value title='", str(node.x_field.x_offset), "'>",CircledLetterEntity("F"), "</span>"]
     if cwast.NF.CONTROL_FLOW in node.FLAGS:
         out += [CircledLetterEntity("C")]
     if problems: