diff --git a/build-common.properties b/build-common.properties index f8257ebdb28..f943fdb3404 100644 --- a/build-common.properties +++ b/build-common.properties @@ -4,7 +4,7 @@ ## ${basedir} is a child of checker-framework/, e.g. checker-framework/checker # The Checker Framework version number -build.version = 1.9.9 +build.version = 1.9.10 # The location of the OpenJDK distribution to use; # must be a version that supports type annotations (JSR 308) diff --git a/checker/examples/MavenExample/pom.xml b/checker/examples/MavenExample/pom.xml index 195fffd7fc7..fa4948b3264 100644 --- a/checker/examples/MavenExample/pom.xml +++ b/checker/examples/MavenExample/pom.xml @@ -29,23 +29,23 @@ org.checkerframework checker-qual - 1.9.9 + 1.9.10 org.checkerframework checker - 1.9.9 + 1.9.10 org.checkerframework compiler - 1.9.9 + 1.9.10 org.checkerframework jdk8 - 1.9.9 + 1.9.10 org.apache.commons diff --git a/checker/manual/checker-framework-webpage.html b/checker/manual/checker-framework-webpage.html index 21a2c0acc32..bae92e55275 100644 --- a/checker/manual/checker-framework-webpage.html +++ b/checker/manual/checker-framework-webpage.html @@ -34,9 +34,9 @@

The Checker Framework