From eb2e19c6515cb605293f9bd1c3d5be865a25fe6d Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Mon, 4 Dec 2023 14:47:51 -0800
Subject: [PATCH] Update to Checker Framework 3.41.0 (#873)

Just to stay up to date. [Benchmarking
results](https://github.com/uber/NullAway/pull/873#issuecomment-1839420450)
show no overhead regression, and possibly a very slight improvement.
---
 gradle/dependencies.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle
index 566b5cfdbb..26fc151bd8 100755
--- a/gradle/dependencies.gradle
+++ b/gradle/dependencies.gradle
@@ -40,7 +40,7 @@ if (project.hasProperty("epApiVersion")) {
 
 def versions = [
     asm                    : "9.3",
-    checkerFramework       : "3.39.0",
+    checkerFramework       : "3.41.0",
     // for comparisons in other parts of the build
     errorProneLatest       : latestErrorProneVersion,
     // The version of Error Prone used to check NullAway's code.