From 2f3696fead2eb600528e37493d8ebdbe045e7fa7 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Thu, 7 Mar 2024 11:06:43 +0000
Subject: [PATCH] REBASE OUT

---
 matching/deps/scala_kore_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matching/deps/scala_kore_release b/matching/deps/scala_kore_release
index 0d91a54c7..9e11b32fc 100644
--- a/matching/deps/scala_kore_release
+++ b/matching/deps/scala_kore_release
@@ -1 +1 @@
-0.3.0
+0.3.1