mirror of https://github.com/crytic/slither
Merge pull request #161 from trailofbits/dev-legacy-usertypename-parsing
Fix UserDefinedTypeName type parsing from namespull/179/head
commit
6bad498509
Loading…
Reference in new issue