diff --git a/deps/k_release b/deps/k_release
index 56d53ce765..b48921ebbb 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.274
+7.1.282
diff --git a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
index 35a8ca7440..e021985429 100644
--- a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
+++ b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d
                         /* InternalMap: */ Lbl'Unds'Map'Unds'{}(
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("sum")
+                                    \dv{SortId{}}("n")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarS:SortInt{}
+                                    VarN:SortInt{}
                                 )
                             ),
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("n")
+                                    \dv{SortId{}}("sum")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarN:SortInt{}
+                                    VarS:SortInt{}
                                 )
                             )
                         )