From 0175ef9c5479023fe787882064a2bb72664c3d18 Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Fri, 10 Nov 2023 13:01:14 +0100
Subject: [PATCH] roll back ksmt version

---
 kex-ksmt/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>