diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 2778fd191..f09e28aa6 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -2609,7 +2609,6 @@ public class TypeUnifyTask extends RecursiveTask>> { } void writeLog(String str) { - synchronized ( this ) { if (log && finalresult) { try { logFile.write("Thread no.:" + thNo + "\n"); @@ -2617,18 +2616,15 @@ public class TypeUnifyTask extends RecursiveTask>> { logFile.write("parallel:" + parallel + "\n"); logFile.write(str+"\n\n"); logFile.flush(); - } - catch (IOException e) { + 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(); @@ -2637,6 +2633,6 @@ public class TypeUnifyTask extends RecursiveTask>> { catch (IOException e) { System.err.println("kein StatisticsFile"); } - }} + } } }