diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 801cae50..7910b079 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -1405,6 +1405,7 @@ public class TypeUnifyTask extends RecursiveTask>> { } void writeLog(String str) { + /* if (log) { try { logFile.write(str+"\n"); @@ -1413,5 +1414,6 @@ public class TypeUnifyTask extends RecursiveTask>> { } catch (IOException e) { } } + */ } }