Index: src/compiler/graph-trimmer.cc |
diff --git a/src/compiler/graph-trimmer.cc b/src/compiler/graph-trimmer.cc |
index 75071c68b3b5cf1163822edad9aa5f7ca9babaa5..74626fe67fabc10231b043089f0cd08a4b8054cf 100644 |
--- a/src/compiler/graph-trimmer.cc |
+++ b/src/compiler/graph-trimmer.cc |
@@ -33,7 +33,7 @@ void GraphTrimmer::TrimGraph() { |
for (Edge edge : live->use_edges()) { |
Node* const user = edge.from(); |
if (!IsLive(user)) { |
- if (FLAG_trace_turbo_reduction) { |
+ if (FLAG_trace_turbo_trimming) { |
OFStream os(stdout); |
os << "DeadLink: " << *user << "(" << edge.index() << ") -> " << *live |
<< std::endl; |