diff options
| author | Kristen Kozak <sebright@google.com> | 2018-04-04 13:50:40 -0700 |
|---|---|---|
| committer | Kristen Kozak <sebright@google.com> | 2018-04-04 13:50:40 -0700 |
| commit | 7188a0d48395aef6fd7d06def05d947870169612 (patch) | |
| tree | f2178f76f77d026f9cbf0127a4c1b52983f46fbe /build.gradle | |
| parent | 11918ecc0e0110e93579cc5477a7f4d907e2df6d (diff) | |
| download | platform_external_opencensus-java-7188a0d48395aef6fd7d06def05d947870169612.tar.gz platform_external_opencensus-java-7188a0d48395aef6fd7d06def05d947870169612.tar.bz2 platform_external_opencensus-java-7188a0d48395aef6fd7d06def05d947870169612.zip | |
Checker Framework: 2.3.2 -> 2.4.0
Diffstat (limited to 'build.gradle')
| -rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index 7bbddb3a..f510f6ac 100644 --- a/build.gradle +++ b/build.gradle @@ -206,7 +206,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.3.2' + ext.checkerFrameworkVersion = '2.4.0' ext.jdkVersion = 'jdk8' checkerFrameworkAnnotatedJDK "org.checkerframework:${jdkVersion}:${checkerFrameworkVersion}" checkerFrameworkJavac "org.checkerframework:compiler:${checkerFrameworkVersion}" |