Methode"writeLog" auskommentiert.

This commit is contained in:
Michael Uhl 2018-12-29 19:45:08 +01:00
parent d9cda2779f
commit f9c0ea8b52

View File

@ -1405,6 +1405,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
} }
void writeLog(String str) { void writeLog(String str) {
/*
if (log) { if (log) {
try { try {
logFile.write(str+"\n"); logFile.write(str+"\n");
@ -1413,5 +1414,6 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
} }
catch (IOException e) { } catch (IOException e) { }
} }
*/
} }
} }