From f05a0a8bda4d2af6d00ab3a34b695e7d522fc7b8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 7 Mar 2024 11:30:09 +0000
Subject: [PATCH] matching: update scala-kore to 0.3.1

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

diff --git a/matching/pom.xml b/matching/pom.xml
index 342fe8694..192574523 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.0</scala-kore.version>
+    <scala-kore.version>0.3.1</scala-kore.version>
   </properties>
 
   <repositories>