Merge pull request #6 from opprop/upstream-2016-07-15

Upstream 2016 07 15
typetools · Jul 18, 2016 · 49d1574 · 49d1574
2 parents 88a551d + 3b28db8
commit 49d1574
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/checkers/inference/test/CFInferenceTest.java b/tests/checkers/inference/test/CFInferenceTest.java
@@ -1,6 +1,6 @@
 package checkers.inference.test;
 
-import org.checkerframework.framework.test.CheckerFrameworkTest;
+import org.checkerframework.framework.test.CheckerFrameworkPerFileTest;
 import org.checkerframework.framework.test.TestUtilities;
 import org.checkerframework.javacutil.Pair;
 
@@ -12,7 +12,7 @@
 
 import org.junit.Test;
 
-public abstract class CFInferenceTest extends CheckerFrameworkTest {
+public abstract class CFInferenceTest extends CheckerFrameworkPerFileTest {
 
     public static final boolean isAtMost7Jvm;