diff --git a/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/instrumentation/RInstrumentation.java b/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/instrumentation/RInstrumentation.java index d9fae439a708ce0ddecbb7c4bb4fb949e6a9d64f..56581f056d86f41181c127609c525a11ae84f6b4 100644 --- a/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/instrumentation/RInstrumentation.java +++ b/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/instrumentation/RInstrumentation.java @@ -79,7 +79,8 @@ public class RInstrumentation { builder.tagIs(tag); SourceSection fdns = fdn.getSourceSection(); builder.indexIn(fdns.getCharIndex(), fdns.getCharLength()); - builder.sourceIs(fdns.getSource()); + Source source = fdns.getSource(); + builder.sourceIs(s -> source.equals(s)); return builder; }