| Index: src/compiler/graph-trimmer.cc
|
| diff --git a/src/compiler/graph-trimmer.cc b/src/compiler/graph-trimmer.cc
|
| index 75071c68b3b5cf1163822edad9aa5f7ca9babaa5..cd1f793cee0dd975cdc2b3730a590accee51a431 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_trimmer) {
|
| OFStream os(stdout);
|
| os << "DeadLink: " << *user << "(" << edge.index() << ") -> " << *live
|
| << std::endl;
|
|
|