Remove unused typedef

Marco Cattaneorequested to merge
cherry-pick-2fb90345 into 2018-patches

Exposed by change of compilation flags in the nightlies

(cherry picked from commit 2fb90345)

Merge request reports