diff --git a/matching/pom.xml b/matching/pom.xml
index 192574523..342fe8694 100644
--- a/matching/pom.xml
+++ b/matching/pom.xml
@@ -15,7 +15,7 @@
   <name>K Framework LLVM Backend Pattern Matching</name>
 
   <properties>
-    <scala-kore.version>0.3.1</scala-kore.version>
+    <scala-kore.version>0.3.0</scala-kore.version>
   </properties>
 
   <repositories>