Merge pull request #54 from ndusart/cast
authorJakob Petsovits <jpetso@users.noreply.github.com>
Wed, 8 Aug 2018 17:01:23 +0000 (13:01 -0400)
committerGitHub <noreply@github.com>
Wed, 8 Aug 2018 17:01:23 +0000 (13:01 -0400)
cast int const to alphabet_index_t type


Trivial merge