From dae52d514b8440bba4818712551edbde1d99f78c Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Thu, 7 Mar 2024 11:29:40 +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