This commit is contained in:
JanUlrich 2016-11-11 11:50:55 +01:00
parent accbe5bbfc
commit 1a94f449a0

View File

@ -30,8 +30,9 @@ public class FunVoidN extends FunN {
* @return * @return
*/ */
public FunVoidN(Menge<Type> T) { public FunVoidN(Menge<Type> T) {
super(null,T); super(T.size());
this.setR(new Void(this, -1)); this.setR(new Void(this, -1));
this.setT(T);
this.name = new JavaClassName("FunVoid"+T.size()); this.name = new JavaClassName("FunVoid"+T.size());
} }