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