Fix the build script.
[tatoo.git] / src / auto / ata.mli
2013-03-15 Kim NguyễnCode refactoring: