Removed dead code.

2019-07-10, Edouard Tisserant