From 80e80f76f564db2ca95399005970c1fa84366456 Mon Sep 17 00:00:00 2001
From: Kristen Kozak <sebright@google.com>
Date: Mon, 11 Jun 2018 17:19:07 -0700
Subject: Checker Framework: 2.5.1 -> 2.5.2

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3