Skip to content

Commit

Permalink
Merge branch 'master' of github.com:typetools/checker-framework-infer…
Browse files Browse the repository at this point in the history
…ence into upstream-2016-07-15
  • Loading branch information
wmdietl committed Jul 15, 2016
2 parents 336edfc + cc723ec commit 3b28db8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/checkers/inference/test/CFInferenceTest.java
Original file line number Diff line number Diff line change
@@ -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;

Expand All @@ -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;

Expand Down

0 comments on commit 3b28db8

Please sign in to comment.