Compare commits
7 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 3951b8451b | |||
| a04be1336a | |||
| dee55f0b0f | |||
| c58897f5ba | |||
| c938e69c76 | |||
| 1475661b84 | |||
| e397375d2a |
@@ -130,7 +130,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
|
||||
volatile UnifyTaskModel usedTasks;
|
||||
|
||||
static Writer statistics;
|
||||
protected ConstraintSetRepository constraintSetRepository;
|
||||
protected volatile ConstraintSetRepository constraintSetRepository;
|
||||
|
||||
public TypeUnifyTask() {
|
||||
rules = new RuleSet();
|
||||
|
||||
+2023
-1
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user