1
0

fixed bug where statisticsFile was not initialized when using one of the constructors of TypeUnifyTask

This commit is contained in:
NoName11234 2024-01-23 18:58:59 +01:00
parent 441e50a70d
commit 03c432455d

@ -43,6 +43,7 @@ import de.dhbwstuttgart.typeinference.unify.model.UnifyType;
import de.dhbwstuttgart.typeinference.unify.model.WildcardType;
import de.dhbwstuttgart.util.Pair;
import de.dhbwstuttgart.typeinference.unify.model.OrderingUnifyPair;
import org.apache.commons.io.output.NullWriter;
import java.io.File;
import java.io.FileWriter;
@ -128,7 +129,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
volatile UnifyTaskModel usedTasks;
static Writer statisticsFile;
static Writer statisticsFile = new NullWriter();
public TypeUnifyTask() {
rules = new RuleSet();