added missing override

Marco Clemencicrequested to merge
fix-missing-override into future

lost resolving conflict between !82 (merged) and !84 (merged)

Merge request reports