search

VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Remove unused import #384

Closed Adda0 closed 7 months ago

Adda0 commented 7 months ago

This also fixes running tests on MacOS in GitHub Actions.

Adda0 commented 7 months ago

Or not...