diff --git a/pom.xml b/pom.xml
index 302a996c80aa26513a3e5a384e103d958933244a..bd9dba4c7f43d85f098542c963b8dd1dcd0d881c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>info.kwarc.sally4</groupId>
 		<artifactId>sally4</artifactId>
-		<version>0.0.8-SNAPSHOT</version>
+		<version>1.0.1-SNAPSHOT</version>
 		<relativePath>..</relativePath>
 	</parent>