Fix function name in codegen for mypy#1512

Merged

tamarinvs19 merged 1 commit intomainfrom

tamarinvs19/fix_naming_bug_in_codegen

Dec 15, 2022

Commits on Dec 13, 2022

Fix function name in codegen for mypy
tamarinvs19
committed