Merge pull request #5366 from diffblue/revert-5358-feature/catch-pretty-print-expr

Revert "Add pretty printing for exprts in Catch assertions"

Author: NlightNFotis

unit/testing-utils/catch_pretty_print_expr.h

@@ -39,6 +39,4 @@ Author: Michael Tautschnig
 /// Add to the end of test tags to mark a test that is expected to fail
 #define XFAIL "[.][!shouldfail]"
 
-#include "catch_pretty_print_expr.h"
-
 #endif // CPROVER_TESTING_UTILS_USE_CATCH_H