runtimeverification
diff --git a/‎flake.lock
+4-4 b/‎flake.lock
+4-4
diff --git a/‎flake.nix
+1-1 b/‎flake.nix
+1-1
@@ -1,7 +1,7 @@
 {
   description = "mir-semantics - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.226";
+    k-framework.url = "github:runtimeverification/k/v7.1.228";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`description = "mir-semantics - ";`
`3`	`3`	`inputs = {`
`4`		`- k-framework.url = "github:runtimeverification/k/v7.1.226";`
	`4`	`+ k-framework.url = "github:runtimeverification/k/v7.1.228";`
`5`	`5`	`nixpkgs.follows = "k-framework/nixpkgs";`
`6`	`6`	`flake-utils.follows = "k-framework/flake-utils";`
`7`	`7`	`rv-utils.follows = "k-framework/rv-utils";`