Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@Stevengre
Stevengre committed Nov 12, 2024
1 parent de3219a commit cd25ec7
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/tests/integration/test-data/show/contracts.k.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12006,6 +12006,7 @@ module S2KtestZModSymbolicStore-CONTRACT

syntax S2KtestZModSymbolicStoreContract ::= "S2KtestZModSymbolicStore" [symbol("contract_test%SymbolicStore")]


endmodule

module S2KlibZModforgeZSubstdZModsrcZModTest-CONTRACT
Expand Down

0 comments on commit cd25ec7

Please sign in to comment.