diff options
| author | Hugo Herbelin | 2014-11-22 14:12:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-22 19:23:32 +0100 |
| commit | 93c7fc0e58c8d510392b6ef95d9196e92925edb4 (patch) | |
| tree | ea830f88d950e5a8e25afdb9a2cb7c5d483418c4 /dev/db | |
| parent | 449a4f1bde0560320ce8318ed39a5303d788dcae (diff) | |
In setoid_rewrite error messages:
- removed the encapsulation in a Tactic Failure (I don't see why
setoid_rewrite should specifically raise a Fail - do I miss something?)
- avoid having twice a "Unable to satisfy ... constraints" message.
Diffstat (limited to 'dev/db')
0 files changed, 0 insertions, 0 deletions