From 1a94f449a04663181b20202a38503274179ba6d6 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Fri, 11 Nov 2016 11:50:55 +0100
Subject: [PATCH] bugfix

---
 src/de/dhbwstuttgart/syntaxtree/type/FunVoidN.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/syntaxtree/type/FunVoidN.java b/src/de/dhbwstuttgart/syntaxtree/type/FunVoidN.java
index 81eca895..6ee24f83 100644
--- a/src/de/dhbwstuttgart/syntaxtree/type/FunVoidN.java
+++ b/src/de/dhbwstuttgart/syntaxtree/type/FunVoidN.java
@@ -30,8 +30,9 @@ public class FunVoidN extends FunN {
 	 * @return
 	 */
 	public FunVoidN(Menge<Type> T) {
-		super(null,T);
+		super(T.size());
 		this.setR(new Void(this, -1));
+		this.setT(T);
 		this.name = new JavaClassName("FunVoid"+T.size());
 	}