fix for kompile

runtimeverification · Nov 12, 2024 · 81a1f6f · 81a1f6f
1 parent a5b5783
commit 81a1f6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tests/integration/test-data/show/foundry.k.expected b/src/tests/integration/test-data/show/foundry.k.expected
@@ -152,6 +152,7 @@ module FOUNDRY-MAIN
     imports public S2KtestZModStore-VERIFICATION
     imports public S2KtestZModStoreTest-VERIFICATION
     imports public S2KtestZModSymbolicStorageTest-VERIFICATION
+    imports public S2KlibZModforgeZSubstdZModsrcZModTest-VERIFICATION
     imports public S2KtestZModSymbolicStore-VERIFICATION
     imports public S2KsrcZModTestNumber-VERIFICATION
     imports public S2KtestZModToStringTest-VERIFICATION
@@ -170,7 +171,6 @@ module FOUNDRY-MAIN
     imports public S2KlibZModforgeZSubstdZModsrcZModconsole2-VERIFICATION
     imports public S2KlibZModforgeZSubstdZModsrcZModsafeconsole-VERIFICATION
     imports public S2KlibZModforgeZSubstdZModlibZModdsZSubtestZModsrcZModDSTest-VERIFICATION
-    imports public S2KlibZModforgeZSubstdZModsrcZModTest-VERIFICATION
     imports public KECCAK-LEMMAS
     imports public NO-STACK-CHECKS