From fb1a642c3339d8f8f8ee7df886e42601b89092c9 Mon Sep 17 00:00:00 2001 From: sebright Date: Wed, 1 Aug 2018 17:06:51 -0700 Subject: Checker Framework: 2.5.3 -> 2.5.4 (#1355) --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build.gradle') 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. -- cgit v1.2.3