updating Flint
Merge pull request #21 from erikaheidi/flint-update

updating Flint