69558999eb
Motivation: Commit ee9233d introduced a compile error in microbench. Modifications: Fix compile error. Result: Code now builds.