diff options
| author | Enrico Tassi | 2016-02-02 09:34:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-02-02 09:34:18 +0100 |
| commit | 25d7e5b7392afb4ef48e7d0e563b8a2f7851823a (patch) | |
| tree | fb8aa0747942acd76e761dedf6db42ff6772bbb1 /mathcomp/ssrtest | |
| parent | 915177836b3e6b454e7931d48650c85c2c908f73 (diff) | |
Explicit error message if rewrite fails due to TC inference (fix #21)
Diffstat (limited to 'mathcomp/ssrtest')
0 files changed, 0 insertions, 0 deletions