diff --git a/pom.xml b/pom.xml index 1e5782f..58b60c1 100644 --- a/pom.xml +++ b/pom.xml @@ -9,7 +9,7 @@ org.rascalmpl typepal - 0.13.1 + 0.13.2-SNAPSHOT jar @@ -20,7 +20,7 @@ scm:git:ssh://git@github.com/usethesource/typepal.git - v0.13.1 + v0.11.5