From 057df7c7022dd805b600ab2738c1ffea7dfe1499 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Mon, 10 Jul 2017 21:23:48 +0200
Subject: [PATCH] TypeInsert API anpassen

---
 src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java b/src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
index 5801f1dee..bc6494136 100644
--- a/src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
+++ b/src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
@@ -6,7 +6,7 @@ import java.util.List;
 import java.util.stream.Collectors;
 
 public class TypeInsertPoint {
-    Token point;
+    public final Token point;
     private String insertString;
 
     public TypeInsertPoint(Token point, String toInsert){