From f630f93a3da5dcafc55b86f175a9fc4063cb11f0 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Tue, 12 Apr 2016 10:06:58 +0200
Subject: [PATCH] =?UTF-8?q?Debug=20Ausgabe=20anf=C3=BCgen?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/de/dhbwstuttgart/syntaxtree/SourceFile.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 2892773f..bc4c39ef 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -359,6 +359,7 @@ public class SourceFile
         		return cardprodret;
         	});
         	*/
+        	typinferenzLog.debug("\nUnifiziere Constraints:\n"+constraints, Section.TYPEINFERENCE);
 			Set<Set<UnifyPair>> unifyResult = new Unify().unify(constraints, finiteClosure);
             
             Menge<Menge<Pair>> convertedResult = unifyResult.parallelStream().<Menge<Pair>>map((Set<UnifyPair> resultSet)->{