Remove unnecessary partiality
Merge pull request #1297 from david-christiansen/ide-prover

Remove unnecessary partiality