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 T) { - super(null,T); + super(T.size()); this.setR(new Void(this, -1)); + this.setT(T); this.name = new JavaClassName("FunVoid"+T.size()); }