Don't needlessly run the last bottom-up phase, when the top-down is sufficient.
[tatoo.git] / include / utils32.ml
2012-06-28 Kim NguyễnUsable version: