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