From 1d836fdd0e448e02fe4c4615c6cca0dab4850b47 Mon Sep 17 00:00:00 2001 From: nimakarimipour Date: Thu, 3 Oct 2024 23:26:12 -0500 Subject: [PATCH] remove white line --- annotator-core/src/main/java/edu/ucr/cs/riple/core/Report.java | 1 - 1 file changed, 1 deletion(-) diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/Report.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/Report.java index 90d4ebf11..bc0c7ad45 100644 --- a/annotator-core/src/main/java/edu/ucr/cs/riple/core/Report.java +++ b/annotator-core/src/main/java/edu/ucr/cs/riple/core/Report.java @@ -182,7 +182,6 @@ public boolean testEquals(Config config, Report found) { found.tree.add(found.root); Set thisTree = this.tree.stream().flatMap(fix -> fix.toLocations().stream()).collect(Collectors.toSet()); - Set otherTree = found.tree.stream().flatMap(fix -> fix.toLocations().stream()).collect(Collectors.toSet()); if (!thisTree.equals(otherTree)) {