From 5d94820fed8e2681e1d1848febad2bd57d38d0ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Mon, 29 Jan 2018 21:30:45 +0100
Subject: [PATCH 1/2] 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/RuleSet.java 	modified:  
 src/de/dhbwstuttgart/typeinference/unify/model/Node.java Genauere
 Fehlermeldung

---
 src/de/dhbwstuttgart/typeinference/unify/RuleSet.java    | 2 +-
 src/de/dhbwstuttgart/typeinference/unify/model/Node.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
index 39ea0eff..8c41660b 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
@@ -305,7 +305,7 @@ public class RuleSet implements IRuleSet{
 		if(!rhsSType.getName().equals(lhsSType.getName()))
 			return Optional.empty();
 		
-		if(!(lhsSType.getTypeParams().size()==rhsSType.getTypeParams().size()))throw new DebugException("Fehler in Unifizierung");
+		if(!(lhsSType.getTypeParams().size()==rhsSType.getTypeParams().size()))throw new DebugException("Fehler in Unifizierung"+ " " + lhsSType.toString() + " " + rhsSType.toString());
 		//if(rhsSType.getTypeParams().size() != lhsSType.getTypeParams().size())
 		//	return Optional.empty();
 		
diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/Node.java b/src/de/dhbwstuttgart/typeinference/unify/model/Node.java
index d24b6825..c6aa9b3e 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/model/Node.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/model/Node.java
@@ -94,6 +94,6 @@ class Node<T> {
 	
 	@Override
 	public String toString() {
-		return "Node(" + content.toString() + ")";
+		return "Node(" + content.toString() + ")\n";
 	}
 }

From 39793b461e934819280ef55d8e35deea1c82e3ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Mon, 29 Jan 2018 22:35:48 +0100
Subject: [PATCH 2/2] 	modified:   test/javFiles/Matrix.jav

Falsche Typen in methode korrigiert.
---
 test/javFiles/Matrix.jav | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/javFiles/Matrix.jav b/test/javFiles/Matrix.jav
index e6aa84cd..14b58cde 100644
--- a/test/javFiles/Matrix.jav
+++ b/test/javFiles/Matrix.jav
@@ -2,8 +2,8 @@ import java.util.Vector;
 
 class Matrix extends Vector<Vector<Integer>> {
 
- methode(Matrix m) {
-    Vector<Vector<Integer>> i;
+ methode(Vector<Vector<Integer>> m) {
+    Matrix i;
     methode(i);
  }
  }