search

crytic / amarna

Amarna is a static-analyzer and linter for the Cairo programming language.
https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/
GNU Affero General Public License v3.0
149 stars 7 forks source link

Remove explicitly imported function from implicit imports. #75

Closed fcasal closed 1 year ago

fcasal commented 1 year ago

Fixes issues

closes #74

Fixes two wrong type hints.