diff options
| author | Matthieu Sozeau | 2014-06-20 16:03:52 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-20 16:03:52 +0200 |
| commit | 6133a43c30e03656696a897bcedaf0cfb2cec70d (patch) | |
| tree | edda5b719763000d714a3eb097a15d6a8efccb64 /kernel | |
| parent | 45bcb4c7ad7aad8c2c63287870666339fe2ac1f2 (diff) | |
Allow more relaxed conversion between the types of the two terms of a rewrite
equation, fix uncaught exception in setoid_rewrite (bug #3336).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions