Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006237OCamlOCamlbuild (the tool)public2013-11-14 02:202013-11-30 23:25
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006237: optional "--infer" in menhir command line
Descriptionwe should be able to remove "--infer" from the command line of menhir.

the attached patch allow this with the negative flag "-infer"
Attached Filespatch file icon infer.patch [^] (2,279 bytes) 2013-11-14 02:20 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-11-14 02:20 hhugo New Issue
2013-11-14 02:20 hhugo File Added: infer.patch
2013-11-30 23:24 doligez Tag Attached: patch
2013-11-30 23:25 doligez Status new => confirmed

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker