Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make menhir a bit more verbose by passing -lg 1 -la 1.
This helps see at a glance how the automaton is affected by a change.
- Loading branch information