Skip to content

Commit

Permalink
converter: do not drop scalars
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Aug 16, 2024
1 parent e1db571 commit f199af8
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions seal5/transform/converter.py
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,7 @@ def run(args):
[],
{},
)
set_def.instructions[enc].scalars = instr_def.scalars
sets[set_name] = seal5_model.Seal5InstructionSet(
set_def.name,
set_def.extension,
Expand Down

0 comments on commit f199af8

Please sign in to comment.