From fb5a590d6739c55f0e7fbffe1e80f426cbdbc369 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Wed, 25 Jul 2018 19:11:02 -0700
Subject: 4411

Port commit 4235 to subx.
---
 subx/003trace.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subx/003trace.cc')

diff --git a/subx/003trace.cc b/subx/003trace.cc
index d1c7ea17..120ada82 100644
--- a/subx/003trace.cc
+++ b/subx/003trace.cc
@@ -183,7 +183,7 @@ bool trace_contains_errors() {
 :(before "End Types")
 struct end {};
 :(code)
-ostream& operator<<(ostream& os, unused end) {
+ostream& operator<<(ostream& os, vestigial end) {
   if (Trace_stream) Trace_stream->newline();
   return os;
 }
-- 
cgit 1.4.1-2-gfad0