Fix type rule for C_CONTRACT_WITH_ERROR

Merged E. Rivas requested to merge er433/fix/contract-with-error into dev

As reported by D. Jozsef in #ligo, Tezos.get_contract_with_error's type was wrongly adapted. This MR fixes it.

  • has a changelog entry
Edited by E. Rivas