Delete pretty_print.pl