Delete prettyprint.hpp