diff options
| author | Kristen Kozak <sebright@google.com> | 2018-02-01 12:28:26 -0800 |
|---|---|---|
| committer | Kristen Kozak <sebright@google.com> | 2018-02-01 12:33:08 -0800 |
| commit | 86a09513f3a3f981c75948a3da346b13888a3184 (patch) | |
| tree | 6936d670f4d069d8f66c6280b75935654ab43032 /build.gradle | |
| parent | e067f951513cb45fd2969eab862c815be5d75180 (diff) | |
| download | platform_external_opencensus-java-86a09513f3a3f981c75948a3da346b13888a3184.tar.gz platform_external_opencensus-java-86a09513f3a3f981c75948a3da346b13888a3184.tar.bz2 platform_external_opencensus-java-86a09513f3a3f981c75948a3da346b13888a3184.zip | |
Checker Framework: 2.3.0 -> 2.3.2
The new version fixes
https://github.com/typetools/checker-framework/issues/1712, so this commit also
removes the workaround.
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 e571a1eb..5ef274cf 100644 --- a/build.gradle +++ b/build.gradle @@ -180,7 +180,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.3.0' + ext.checkerFrameworkVersion = '2.3.2' ext.jdkVersion = 'jdk8' checkerFrameworkAnnotatedJDK "org.checkerframework:${jdkVersion}:${checkerFrameworkVersion}" checkerFrameworkJavac "org.checkerframework:compiler:${checkerFrameworkVersion}" |