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