herd/herdtools — pull request #10 by jpdeplaix (2014-09-09 11:19:43+00:00)
Title: Simplify the 4.02 checking and the -safe-string handling

I think it's better to use the ocamlbuild tag. The proof is: you forgot ```lib/lexUtils.mll``` Qed. :)