diff options
| author | msozeau | 2008-12-04 18:39:28 +0000 |
|---|---|---|
| committer | msozeau | 2008-12-04 18:39:28 +0000 |
| commit | aa7a7c2fa5657cd6a279475dfd6adb77e26d2eaa (patch) | |
| tree | 63c18da345306df4c97b574dd86e90f95a55b85b /dev/base_include | |
| parent | a282e9f8d18b1dcf9dd46900b0af522f8e46d8ef (diff) | |
Fix priority of the Leibniz Setoid instance to 10 (thanks to M. Lasson
for the report).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11656 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions