roll back ksmt version

vorpal-research · Nov 10, 2023 · 0175ef9 · 0175ef9
1 parent ed71aaa
commit 0175ef9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>