Fix labels

runtimeverification · Jul 4, 2024 · 6612929 · 6612929
1 parent 711cccb
commit 6612929
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/kontrol/foundry.py b/src/kontrol/foundry.py
@@ -409,8 +409,8 @@ def loc_FOUNDRY_FAILED() -> KApply:  # noqa: N802
             KApply(
                 'contract_access_field',
                 [
-                    KApply('FoundryCheat_FOUNDRY-ACCOUNTS_FoundryContract'),
-                    KApply('Failed_FOUNDRY-ACCOUNTS_FoundryField'),
+                    KApply('contract_FoundryCheat'),
+                    KApply('slot_failed'),
                 ],
             )
         )