diff options
| -rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index 66e13729..c4b541ed 100644 --- a/build.gradle +++ b/build.gradle @@ -216,7 +216,7 @@ subprojects { dependencies { if (useCheckerFramework) { - ext.checkerFrameworkVersion = '2.5.1' + ext.checkerFrameworkVersion = '2.5.2' // 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. |