Remove unused include

Authored by mlaurent on Aug 19 2019, 11:50 AM.