diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
index b617d997d7..1f1ac7c2f3 100644
--- a/keymaerax-core/src/main/resources/VERSION
+++ b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.9.0
\ No newline at end of file
+4.9.1
\ No newline at end of file
diff --git a/keymaerax.jar b/keymaerax.jar
index 0d1d391c68..bf16843eb2 120000
--- a/keymaerax.jar
+++ b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.0.jar
\ No newline at end of file
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.1.jar
\ No newline at end of file