diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 9efd728..c100558 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -2254,33 +2254,29 @@ public class TypeUnifyTask extends RecursiveTask>> { } void writeLog(String str) { - synchronized ( this ) { if (log && finalresult) { try { logFile.write("Thread no.:" + thNo + "\n"); logFile.write("parallel:" + parallel + "\n"); logFile.write(str+"\n\n"); logFile.flush(); - } catch (IOException e) { System.err.println("kein LogFile"); } - } - } + } } void writeStatistics(String str) { if (finalresult) { - synchronized ( this ) { try { statistics.write("Thread No. " + thNo + ": " + str + "\n"); statistics.flush(); - } catch (IOException e) { System.err.println("kein StatisticsFile"); } - }} + } } + }