tree 75123f1c3939cf81306c2a415e9f886e01f0bf2c
parent cc86915b988098032d56a233f4f5de9f3c91f138
author Patrick Venture <venture@google.com> 1536714496 -0700
committer Patrick Venture <venture@google.com> 1536714643 -0700

minor cleanup: remove unused c header

Change-Id: I562aad32f8b860fc954773428e6a929759c694d3
Signed-off-by: Patrick Venture <venture@google.com>