runtimeverification
diff --git a/‎kmir/poetry.lock
+7-7 b/‎kmir/poetry.lock
+7-7
diff --git a/‎kmir/pyproject.toml
+1-1 b/‎kmir/pyproject.toml
+1-1
@@ -22,7 +22,7 @@ pytest-kmir = "kmir.testing.fixtures"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.220"
+kframework = "7.1.222"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"