Updates checker-framework from 3.46.0 to 3.47.1

red6 · Sep 25, 2024 · e13a7ea · e13a7ea
1 parent 428b450
commit e13a7ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -73,7 +73,7 @@
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <project.build.outputTimestamp>2023-01-01T00:00:00Z</project.build.outputTimestamp>
 
-        <checker.framework.version>3.46.0</checker.framework.version>
+        <checker.framework.version>3.47.1</checker.framework.version>
 
         <junit.version>5.10.3</junit.version>
         <mockito.version>5.13.0</mockito.version>