diff --git a/pom.xml b/pom.xml index 93db752..048f065 100644 --- a/pom.xml +++ b/pom.xml @@ -45,7 +45,7 @@ org.rascalmpl typepal - 0.10.0 + 0.11.0 org.rascalmpl