diff --git a/pom.xml b/pom.xml index efbf653b8..2533e7070 100644 --- a/pom.xml +++ b/pom.xml @@ -150,7 +150,7 @@ org.checkerframework checker-qual - 3.12.0 + 3.13.0 org.checkerframework