Compilation changed to PRETTY