diff options
| author | Hugo Herbelin | 2014-12-04 18:10:39 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-04 18:21:42 +0100 |
| commit | f8ee36d315f5359d92158407f830d10baeadf5b4 (patch) | |
| tree | 57545ed4740e75821a151ccfc6f40476f8492c7c /dev | |
| parent | 713b757cf4ca963fb9ab9f5f25eb263776f6abed (diff) | |
Improving error message when one instance-hole is not found.
Still to do:
- Decide between using SeveralInstancesFound or raising an error when
multiple instances exist.
- Use a proper printer for evars instead of the debugging
pr_evar_map_filter printer in pr_constraints.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions