Util: Use end line instead of start line for actual results

This commit is contained in:
Tom Hvitved
2023-02-16 14:12:41 +01:00
parent 4356d359a6
commit 85e4707e0c

View File

@@ -384,7 +384,7 @@ module Make<InlineExpectationsTestSig Impl> {
la = a.getLocation() and
pragma[only_bind_into](lb) = b.getLocation() and
pragma[only_bind_into](la).hasLocationInfo(fname, line, _, _, _) and
lb.hasLocationInfo(fname, line, _, _, _)
lb.hasLocationInfo(fname, _, _, line, _)
)
}