Skip to content
2 changes: 1 addition & 1 deletion deps/k_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.274
7.1.282
8 changes: 4 additions & 4 deletions test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
Original file line number Diff line number Diff line change
Expand Up @@ -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{}
)
)
)
Expand Down
Loading