From ba19df85870e7da8b18502656f4e7a1ddd1ea9bd Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Tue, 20 Jan 2015 14:09:51 +0100
Subject: [PATCH] Formatierung

---
 bin/.gitignore                                  | 8 --------
 src/de/dhbwstuttgart/syntaxtree/SourceFile.java | 9 +++++----
 2 files changed, 5 insertions(+), 12 deletions(-)
 delete mode 100644 bin/.gitignore

diff --git a/bin/.gitignore b/bin/.gitignore
deleted file mode 100644
index a3254800..00000000
--- a/bin/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-/bytecode/
-/de/
-/log4j.xml
-/log4jTesting.xml
-/mycompiler/
-/parser/
-/plugindevelopment/
-/syntaxTree/
diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 15513f2c..1fbf94ad 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -1013,7 +1013,7 @@ public class SourceFile
         }
         return ret;});
       	Vector<Vector<TypeinferenceResultSet>> vecressets = ressets.collect(Vector::new, Vector::add, Vector::addAll);
-      	System.out.println("vecressets:\n" + vecressets);
+      	SourceFile.inferencelog.debug("vecressets:\n" + vecressets, Section.TYPEINFERENCE);
       	//Vector<Integer> vecressets = ressets.map(x -> x.size()).collect(Vector::new, Vector::add, Vector::addAll);
       	//Vector<Vector<TypeinferenceResultSet>> ret = new KarthesischesProdukt<TypeinferenceResultSet>().berechneKarthesischesProdukt(vecressets);
       	
@@ -1048,13 +1048,14 @@ public class SourceFile
 					}
 				}
     		}
-    		else 
-    			return new Vector<>(); //kein unifiziertes Ergebnis, damit wird das Geseamtergebnis []
+    		else{
+    			return new Vector<>(); //kein unifiziertes Ergebnis, damit wird das Geseamtergebnis []	
+    		}
     		return cardprodret;
     	});
       	
       	
-      	return new Vector();
+      	return new Vector<>();
         /*
         // HOTI: Nur zur Info.Ich habe den Loglevel auf Info geschaltet, damit
         // in der GUI (Eclipse-Plugin) die Console nicht zugemüllt wird.