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