From e413fbd66d64ed4cb85da3b062829d9058237424 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mdernst@amazon.com>
Date: Sun, 5 Apr 2020 10:41:55 -0700
Subject: [PATCH] Use Checker Framework 3.3.0

---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 168911a..e0b2471 100644
--- a/build.gradle
+++ b/build.gradle
@@ -32,9 +32,9 @@ configurations {
 
 dependencies {
     testCompile group: 'junit', name: 'junit', version: '4.12'
-    testCompile group: 'org.checkerframework', name: 'framework-test', version: '3.2.+'
+    testCompile group: 'org.checkerframework', name: 'framework-test', version: '3.3.0'
 
-    compile group: 'org.checkerframework', name: 'checker', version: '3.2.+'
+    compile group: 'org.checkerframework', name: 'checker', version: '3.3.0'
 
     implementation "com.google.errorprone:javac:9+181-r4173-1"
     errorproneJavac "com.google.errorprone:javac:9+181-r4173-1"