- cerr << "Fatal error: " << t.getFormattedMessage()
- << "\n (received from " << t.getOrigin() << ')' << endl;
+ cerr << "Fatal error: " << t.getFormattedMessage() << endl;
+ if (!t.getOrigin().empty())
+ cerr << " (received from " << t.getOrigin() << ')' << endl;
+
+ } catch (const string &s) {
+ cerr << "Fatal error: " << s << endl;
+
+ } catch (const char *s) {
+ cerr << "Fatal error: " << s << endl;
+