change back to max2type solver

opprop · Jul 15, 2021 · fad7c62 · fad7c62
1 parent 576d9b4
commit fad7c62
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/checkers/inference/OsTrustedTest.java b/tests/checkers/inference/OsTrustedTest.java
@@ -1,7 +1,6 @@
 package checkers.inference;
 
 import checkers.inference.solver.MaxSat2TypeSolver;
-import checkers.inference.solver.SolverEngine;
 import checkers.inference.test.CFInferenceTest;
 import org.checkerframework.framework.test.TestUtilities;
 import org.checkerframework.javacutil.Pair;
@@ -20,7 +19,7 @@ public OsTrustedTest(File testFile) {
 
     @Override
     public Pair<String, List<String>> getSolverNameAndOptions() {
-        return Pair.<String, List<String>>of(SolverEngine.class.getCanonicalName(), new ArrayList<String>());
+        return Pair.<String, List<String>>of(MaxSat2TypeSolver.class.getCanonicalName(), new ArrayList<String>());
     }
 
     @Parameters