From 748f25a2fdbc7efb99b910bb094e13e4d6ff377a Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 12 May 2016 19:48:19 +0200
Subject: [PATCH] gen-TPH richtig konvertieren

---
 src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
index 0ab687e6..e5edd62c 100644
--- a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
+++ b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
@@ -197,7 +197,7 @@ public class UnifyTypeFactory {
 	public static Type convert(PlaceholderType t) {
 		TypePlaceholder ret = TypePlaceholder.getInstance(t.getName());
 		if(ret == null){ //Dieser TPH wurde vom Unifikationsalgorithmus erstellt
-			ret = TypePlaceholder.fresh(NULL_NODE);
+			ret = TypePlaceholder.fresh(t.getName(), NULL_NODE);
 		}
 		return ret;
 	}