Skip to content

Commit

Permalink
ensure source position for new instance node is tracked
Browse files Browse the repository at this point in the history
  • Loading branch information
adinn committed Jul 23, 2021
1 parent c157cec commit d8a0179
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,8 @@ public void virtualize(VirtualizerTool tool) {
}
tool.createVirtualObject(virtualObject, state, Collections.<MonitorIdNode> emptyList(), false);
tool.replaceWithVirtual(virtualObject);
/* Track the original source node position across the substitution. */
virtualObject.setNodeSourcePosition(getNodeSourcePosition());
}
}
}

0 comments on commit d8a0179

Please sign in to comment.