diff --git a/pom.xml b/pom.xml index 297de17036..1b1fc3a6d8 100644 --- a/pom.xml +++ b/pom.xml @@ -303,7 +303,7 @@ org.checkerframework checker - 3.1.1 + 3.18.0