diff --git a/src/tests/integration/test-data/show/contracts.k.expected b/src/tests/integration/test-data/show/contracts.k.expected
index 67145221d..8a5b68072 100644
--- a/src/tests/integration/test-data/show/contracts.k.expected
+++ b/src/tests/integration/test-data/show/contracts.k.expected
@@ -12006,6 +12006,7 @@ module S2KtestZModSymbolicStore-CONTRACT
     
     syntax S2KtestZModSymbolicStoreContract ::= "S2KtestZModSymbolicStore" [symbol("contract_test%SymbolicStore")]
       
+
 endmodule
 
 module S2KlibZModforgeZSubstdZModsrcZModTest-CONTRACT