1 files changed, 9 insertions, 0 deletions
diff --git a/subx/003trace.cc b/subx/003trace.cc
index 590fb7fa..379077a9 100644
--- a/subx/003trace.cc
+++ b/subx/003trace.cc
@@ -168,6 +168,15 @@ ostream& operator<<(ostream& os, end /*unused*/) {
   return os;
 }
 
+//: Fatal error.
+:(before "End Types")
+struct die {};
+:(code)
+ostream& operator<<(ostream& /*unused*/, die /*unused*/) {
+  if (Trace_stream) Trace_stream->newline();
+  exit(1);
+}
+
 :(before "End trace_stream Methods")
 void newline();
 :(code)