diff options
| author | Matthieu Sozeau | 2016-08-17 15:08:38 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-08-17 15:08:38 +0200 |
| commit | 02bcddbba985b65ac167f63b48bf2bd5bceffa1f (patch) | |
| tree | f71988937d028b2ff79476cf5235fe80ec617009 /kernel/nativevalues.ml | |
| parent | bc7ffd368789cb82bb8fc8b642b3de870b92c897 (diff) | |
Fix #4978: priorities of Equivalence instances
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions