Skip to content

Commit

Permalink
Update comment
Browse files Browse the repository at this point in the history
  • Loading branch information
Yiannis128 committed Dec 9, 2024
1 parent 5778aed commit 181cc58
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions esbmc_ai/addon_loader.py
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,7 @@ def _init_addon_modules(self, mods: list[str]) -> list:
attr_class = getattr(m, attr_name)
# Check if valid addon type and import
if issubclass(attr_class, allowed_types):
# Initialize class.
result.append(attr_class())
printv(f"Loading addon: {attr_name}")
except ModuleNotFoundError as e:
Expand Down

0 comments on commit 181cc58

Please sign in to comment.