Skip to content

Commit

Permalink
Update src/halmos/config.py
Browse files Browse the repository at this point in the history
Co-authored-by: karmacoma <karma@coma.lol>
  • Loading branch information
daejunpark and karmacoma-eth committed Sep 18, 2024
1 parent 35e3aa3 commit 8214f68
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/halmos/config.py
Original file line number Diff line number Diff line change
Expand Up @@ -551,7 +551,7 @@ def parse_dict(self, parsed: dict, source: str = "halmos.toml") -> dict:

# gather custom actions
actions = {
field.name: field.metadata.get("action", None) for field in fields(Config)
field.name: field.metadata["action"] for field in fields(Config) if "action" in field.metadata
}

result = {}
Expand Down

0 comments on commit 8214f68

Please sign in to comment.