diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 0702b94..7054d51 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -10,7 +10,7 @@ org-checkerframework = { id = "org.checkerframework", version = "1.0.2" } [versions] -checker-framework = "4.1.0" +checker-framework = "4.2.0" [libraries]