diff options
| -rw-r--r-- | CommandLineInterface.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CommandLineInterface.cpp b/CommandLineInterface.cpp index 81dd25ec..399f5243 100644 --- a/CommandLineInterface.cpp +++ b/CommandLineInterface.cpp @@ -311,7 +311,8 @@ bool CommandLineInterface::processInput() } catch (InternalCompilerError const& exception) { - SourceReferenceFormatter::printExceptionInformation(cerr, exception, "Internal compiler error", m_compiler); + cerr << "Internal compiler error during compilation:" << endl + << boost::diagnostic_information(exception); return false; } catch (Exception const& exception) |