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);
 	}