diff options
-rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index b0fdc30c..f74dfd5e 100644 --- a/build.gradle +++ b/build.gradle @@ -220,7 +220,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.5.4' + ext.checkerFrameworkVersion = '2.5.5' // 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. |