Skip to content

Commit

Permalink
seal5/pass_list.py: fix
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Jan 28, 2025
1 parent 2e1d9b1 commit 5861cd4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions seal5/pass_list.py
Original file line number Diff line number Diff line change
Expand Up @@ -1577,6 +1577,7 @@ def convert_llvmir_to_gmir(
# for input_file in input_files:
# name = input_file.name
# sub = name.replace(".seal5model", "")
xlen = None
if settings:
riscv_settings = settings.riscv
model_settings = settings.models.get(input_model)
Expand Down

0 comments on commit 5861cd4

Please sign in to comment.