Fix microbenchmark build failure (#8064)

Commit

4 years ago

Fix microbenchmark build failure (#8064) Co-authored-by: Chen Fu <fuchen@microsoft.com>