Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
optional "--infer" in menhir command line #6237
Original bug ID: 6237
we should be able to remove "--infer" from the command line of menhir.
the attached patch allow this with the negative flag "-infer"