Commit a151d622 authored by POTTIER Francois's avatar POTTIER Francois

TODO item.

parent 742edb35
* Add a magic number to detect inconsistencies between Menhir and MenhirLib?
* Look for "artificial dependency" and remove them.
Make sure every module is explicitly called.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment