Fix syntax for dynamic array initialization in Solidity#584

75748 wants to merge 1 commit into

a16z:maina16z/halmos:mainfrom

75748:patch-175748/halmos:patch-1Copy head branch name to clipboard