From ccf692aac39a20c764e1d17953c28ab6aa395cfd Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Wed, 21 Dec 2016 14:34:18 +0100
Subject: [PATCH] removed getter

---
 src/main/resources/patchfiles/SourcePositions.txt | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/main/resources/patchfiles/SourcePositions.txt b/src/main/resources/patchfiles/SourcePositions.txt
index 275f77c..eefe61e 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.
-- 
GitLab