Fix issue #1849: type_str not returning str#1914

Merged

montyly merged 1 commit intocrytic:devfrom DarrenChangJR:dev

May 15, 2023

+1-1

Commits on May 15, 2023

Fix issue crytic#1849 : type_str not returning str
DarrenChangJR
committed