From 0ee5a6791d1ba168864a19786ff4dd2806ecefe5 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Wed, 29 Aug 2018 21:48:15 +0200 Subject: [PATCH] FunN falsch benannt --- src/de/dhbwstuttgart/syntaxtree/type/FunN.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/de/dhbwstuttgart/syntaxtree/type/FunN.java b/src/de/dhbwstuttgart/syntaxtree/type/FunN.java index 46de6566d..dc521b87d 100644 --- a/src/de/dhbwstuttgart/syntaxtree/type/FunN.java +++ b/src/de/dhbwstuttgart/syntaxtree/type/FunN.java @@ -24,7 +24,7 @@ public class FunN extends RefType { * @return */ public FunN(List params) { - super(new JavaClassName("Fun"+(params.size())), params, new NullToken()); + super(new JavaClassName("Fun"+(params.size()-1)), params, new NullToken()); } /**