tree d1839b25bb15d32d52a072f902b235e3bd73eba3
parent cfe4f13b1b3b70153a42aa2434c0bcdf9714cc25
author David Neto <dneto@google.com> 1585795628 +0000
committer David Neto <dneto@google.com> 1585795628 +0000

[spirv-writer] Fix: need #include <functional>

TBR=dsinclair@google.com

Change-Id: I4b328ea1ab4532aacb4bcbdff2a99e2480a58071
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/18603
Reviewed-by: David Neto <dneto@google.com>