diff --git a/src/main/resources/patchfiles/SourcePositions.txt b/src/main/resources/patchfiles/SourcePositions.txt
index 275f77c3b592f2e97311fe295b06bf96258b63ea..eefe61eca54b46f0606e696a1347945e274d67d9 100644
--- a/src/main/resources/patchfiles/SourcePositions.txt
+++ b/src/main/resources/patchfiles/SourcePositions.txt
@@ -20,11 +20,6 @@ public class SourcePositions {
 		this.positions = positions;
 	}
 
-
-        public Map<PositionedNode, SourcecodeRange> getPositions() {
-          return this.positions;
-	}
-
 	/**
 	 * Returns the {@link SourcecodeRange} of this {@link PositionedNode} or
 	 * <code>null</code> if no {@link SourcecodeRange} is available.