diff --git a/build.gradle b/build.gradle index 06a791b..eb5f82e 100644 --- a/build.gradle +++ b/build.gradle @@ -13,7 +13,7 @@ plugins { id('net.ltgt.errorprone') version '3.1.0' // Checker Framework pluggable type-checking - id 'org.checkerframework' version '0.6.30' + id 'org.checkerframework' version '0.6.31' } repositories {