diff --git a/pom.xml b/pom.xml index 9036807c..d2afe847 100644 --- a/pom.xml +++ b/pom.xml @@ -947,7 +947,7 @@ org.checkerframework checker-qual - 3.12.0 + 3.13.0 test