-
Robbert Krebbers authored
- The error messages were wrong: the goal needs to be absorbing, not the hypothesis. - The wrong failure number was used in `iAssumption`, which caused the error not to be propagated properly.
1e00275c
- The error messages were wrong: the goal needs to be absorbing, not the hypothesis. - The wrong failure number was used in `iAssumption`, which caused the error not to be propagated properly.