From 1a32ea9ce9421ca911ac05a3cc8e1d6035c72808 Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Wed, 20 Apr 2016 18:38:20 +0200
Subject: [PATCH] size of unify result

---
 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 9f829e464..2464730b2 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -365,6 +365,7 @@ public class SourceFile
 			Set<Set<UnifyPair>> unifyResult = new TypeUnify().unify(constraints, finiteClosure);
 			long time = System.currentTimeMillis()-start;
 			typinferenzLog.debug("\nErgebnis der Unifizierung:\n"+unifyResult, Section.TYPEINFERENCE);
+			typinferenzLog.debug("\nAnzahl Lösungen:\n"+unifyResult.size(), Section.TYPEINFERENCE);
 			typinferenzLog.debug("\nZeit für Unifizierung: "+time + "ms", Section.TYPEINFERENCE);