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] 	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 39ea0effc..8c41660b5 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 d24b68253..c6aa9b3e1 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";
 	}
 }