Issue #16416: Fix compilation error
1 file changed