Delete the .ml file which is supposed to be generated by the .mll.
Merge branch 'master' of https://github.com/bguedas/Compilation-M1-ALMA