Remove unused module prettyprint

Prettyprint is imported and initialized, but not used anywhere in this file.