diff options
| author | sebright <sebright@google.com> | 2019-08-05 12:10:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-05 12:10:31 -0700 |
| commit | 726168433b51e4ce2f801f59bae7c3803bf42468 (patch) | |
| tree | 7607472457686f2bebec35c66af98df880c0082e | |
| parent | 1ee99e5df6d9274135eb7fb556b1e81fe1ab4b0f (diff) | |
| download | platform_external_opencensus-java-726168433b51e4ce2f801f59bae7c3803bf42468.tar.gz platform_external_opencensus-java-726168433b51e4ce2f801f59bae7c3803bf42468.tar.bz2 platform_external_opencensus-java-726168433b51e4ce2f801f59bae7c3803bf42468.zip | |
Checker Framework: 2.9.2 -> 2.10.0 (#1960)
| -rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index 62ee74b0..e41e55f4 100644 --- a/build.gradle +++ b/build.gradle @@ -252,7 +252,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.9.0' + ext.checkerFrameworkVersion = '2.10.0' // 2.4.0 is the last version of the Checker Framework compiler that supports annotations // in comments, though it should continue to work with newer versions of the Checker Framework. |