diff --git a/pom.xml b/pom.xml index b9387c1..a9e59e4 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ clair org.rascalmpl - 0.13.0-RC3 + 0.13.0-RC4-SNAPSHOT jar scm:git:https://github.com/cwi-swat/clair.git - v0.13.0-RC3 + HEAD