tree 17f940f822e3c375c8ae95d4dcb131bcc18a1995
parent fcdd85a4b8fd3a34454f6bd0fd8c1901d05caa90
author Patrick Venture <venture@google.com> 1543249595 -0800
committer Patrick Venture <venture@google.com> 1543249625 -0800

main: drop unused headers

Drop unused headers from main.cpp:
 - experimental/any
 - mutex

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