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