diff --git a/kex-ksmt/pom.xml b/kex-ksmt/pom.xml
index 2565fa069..f5d8154b9 100644
--- a/kex-ksmt/pom.xml
+++ b/kex-ksmt/pom.xml
@@ -12,7 +12,7 @@
     <artifactId>kex-ksmt</artifactId>
 
     <properties>
-        <ksmt.version>0.5.13</ksmt.version>
+        <ksmt.version>0.5.8</ksmt.version>
     </properties>
 
     <dependencies>