Skip to content

Commit

Permalink
Fixed invalid var references in inheritance checks
Browse files Browse the repository at this point in the history
  • Loading branch information
marcoeilers committed Nov 30, 2024
1 parent c6ab068 commit 2140268
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/nagini_translation/translators/program.py
Original file line number Diff line number Diff line change
Expand Up @@ -257,7 +257,7 @@ def create_inherit_check(self, method: PythonMethod, cls: PythonClass,
pres = [not_null, new_type] + pres

stmts, end_lbl = self.inline_method(method, args, method.result,
error_var, ctx)
optional_error_var, ctx)

self._create_inherit_check_postamble(stmts, end_lbl, ctx)

Expand Down

0 comments on commit 2140268

Please sign in to comment.