Merge pull request #1200 from AleoHQ/fix-file-name

[ABNF] Fix generated file name.
This commit is contained in:
Alessandro Coglio 2021-07-27 10:22:57 -07:00 committed by GitHub
commit 827e7eb553
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23