Drop unneeded include

Giulio Eulisserequested to merge
eulisse/jalien-root:fix-tdset-h into master

Proof is now not available anymore in ROOT, so this needs to go.

Merge request reports