From 16cbf8e1b7ddb7a297ce51311cb52939aab9a6e9 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 21 Apr 2016 14:27:32 +0200
Subject: [PATCH] Fehler bei TPH Generierung behoben

---
 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 af90b7bd..e82bdb52 100644
--- a/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
+++ b/src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
@@ -193,7 +193,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(t.getName(), NULL_NODE);
+			ret = TypePlaceholder.fresh(NULL_NODE);
 		}
 		return ret;
 	}