diff options
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}" |