Remove unneeded pretty_print

The base class implementation is exactly the same.