diff options
| author | herbelin | 2006-01-05 15:42:48 +0000 |
|---|---|---|
| committer | herbelin | 2006-01-05 15:42:48 +0000 |
| commit | a89d6c727924f8b0cf4e1402b26b524471c4ccf7 (patch) | |
| tree | 375e9077cbcb49566ae70bbc88a9411b2207bbfd /kernel/type_errors.mli | |
| parent | 85e03ea194b95309daed712dccab83a9fba0814a (diff) | |
Test choix conflit afficheur de nombres selon la présence ou pas d'une coercion
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7798 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions