-
Notifications
You must be signed in to change notification settings - Fork 66
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support for mll/mly files would be nice #50
Labels
Comments
mll are usable for now, with a few glitches, using |
Any news on this ? |
Another vote for having some sort of support for Menhir files. |
Adding my voice hoping this problem will be addressed in a near future. |
metoo (i.e. support for menhir files would be nice) |
sim642
added a commit
to goblint/analyzer
that referenced
this issue
Jan 20, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I'm not sure if this is out of the scope of ocp-indent but it would be really nice to have this working.
The text was updated successfully, but these errors were encountered: