From 0345dceb8ece1b9b04ed71cae76bf9d6b2241a3a Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Tue, 15 Apr 2014 12:07:42 +0200
Subject: [PATCH] Problem mit String Literal behoben

---
 src/mycompiler/mystatement/StringLiteral.java           | 2 +-
 test/plugindevelopment/TypeInsertTests/LambdaTest1.java | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/mycompiler/mystatement/StringLiteral.java b/src/mycompiler/mystatement/StringLiteral.java
index 36d5fe5f..fd9416a1 100755
--- a/src/mycompiler/mystatement/StringLiteral.java
+++ b/src/mycompiler/mystatement/StringLiteral.java
@@ -137,7 +137,7 @@ public class StringLiteral extends Literal
 
 	@Override
 	public ConstraintsSet TYPEExpr(TypeAssumptions assumptions) {
-		this.set_Type(new RefType("String",0));
+		this.set_Type(assumptions.getTypeFor(new RefType("String",0)));
 		return new ConstraintsSet();
 	}
 
diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest1.java b/test/plugindevelopment/TypeInsertTests/LambdaTest1.java
index d37cca99..f9d3f0c2 100644
--- a/test/plugindevelopment/TypeInsertTests/LambdaTest1.java
+++ b/test/plugindevelopment/TypeInsertTests/LambdaTest1.java
@@ -11,7 +11,8 @@ public class LambdaTest1 {
 	@Test
 	public void run(){
 		Vector<String> mustContain = new Vector<String>();
-		mustContain.add("Fun0<Fun1<String, Fun2<G, LambdaTest, String>>> op");
+		
+		mustContain.add("Fun0<Fun1<java.lang.String, Fun2<AH, LambdaTest, java.lang.String>>> op");
 		MultipleTypesInsertTester.test(this.TEST_FILE, mustContain);
 	}