diff --git a/download/rascal.jar b/download/rascal.jar
index 9bf4c074..3ff62929 100644
Binary files a/download/rascal.jar and b/download/rascal.jar differ