Fix build error when DEBUG_NODE_INPUTS_OUTPUTS is on (#3826)

This commit is contained in:
Tianlei Wu 2020-05-05 16:52:33 -07:00 committed by GitHub
parent 6e341c002f
commit 584facf830
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,6 +14,10 @@
#include "core/framework/session_state.h"
#include "core/framework/op_kernel_context_internal.h"
#if defined DEBUG_NODE_INPUTS_OUTPUTS
#include "core/framework/utils.h"
#endif
// #define TRACE_EXECUTION
// Define this symbol to create Concurrency Visualizer markers.