diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-17 19:26:58 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-18 18:56:39 +0200 |
| commit | 924771d6fdd1349955c2d0f500ccf34c2109507b (patch) | |
| tree | 1bb75c17f846a185c88bcd332e5890ebb2c41076 /doc | |
| parent | e8a531dfa623e3badc3baddcf13f0a7975c37886 (diff) | |
Improving error message when applying rewrite to an expression which is not an equality.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions