Remove unused import - Githubissues

VeriFIT / mata

A fast and simple automata library

MIT License

14 stars 11 forks source link

Closed Adda0 closed 4 months ago

Adda0 commented 4 months ago

This PR removes unused import which fixes the compilation of Mata on MacOS in GitHub Actions.

Adda0 commented 4 months ago

Wrong branch.