From 59b574f0406fce99946e61cc3cfe4b355f1c0fe2 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Fri, 26 Jun 2015 19:42:25 +0200
Subject: [PATCH] Fehler in PostIncrement/UnaryExpression behoben

---
 src/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java b/src/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java
index 53903512f..30bd43756 100755
--- a/src/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java
+++ b/src/de/dhbwstuttgart/syntaxtree/statement/UnaryExpr.java
@@ -37,6 +37,7 @@ public abstract class UnaryExpr extends Expr
     	ret.add(new RefType("Integer",this,-1));
     	ret.add(new RefType("Long",this,-1));
     	ret.add(new RefType("Double",this,-1));
+    	ret.add(new RefType("Float",this,-1));
 		return ret ;
     }
     
@@ -59,7 +60,9 @@ public abstract class UnaryExpr extends Expr
 	
 	@Override
 	public ConstraintsSet TYPEStmt(TypeAssumptions assumptions) {
-		return this.TYPEExpr(assumptions);
+		ConstraintsSet ret = this.TYPEExpr(assumptions);
+		this.setType(new de.dhbwstuttgart.syntaxtree.type.Void(this, -1).TYPE(assumptions, this));
+		return ret;
 	}