diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
index efd4ffcab8..14d8a90bcd 100644
--- a/keymaerax-core/src/main/resources/VERSION
+++ b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.9.5
\ No newline at end of file
+4.9.6
\ No newline at end of file
diff --git a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala
index fb16af297c..6b6145c9e7 100644
--- a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala
+++ b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala
@@ -3,5 +3,5 @@ package edu.cmu.cs.ls.keymaerax.core
 /** KeYmaera X versions. */
 object Version {
   /** KeYmaera X core kernel version number */
-  val VERSION: String = "4.9.5"
+  val VERSION: String = "4.9.6"
 }
diff --git a/keymaerax.jar b/keymaerax.jar
index feeed058ef..2a1196ffe3 120000
--- a/keymaerax.jar
+++ b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.5.jar
\ No newline at end of file
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.6.jar
\ No newline at end of file