diff options
| author | herbelin | 2002-01-18 15:27:45 +0000 |
|---|---|---|
| committer | herbelin | 2002-01-18 15:27:45 +0000 |
| commit | 96a51c9f3c1721b545c91b18e4d5af2b0864f165 (patch) | |
| tree | a70646953ea0b0a4cb27726832f37fc3bf6e183e /kernel/type_errors.mli | |
| parent | f84cc22a42f3563754dbeaa44fae88ab5fa6b198 (diff) | |
Le chargement des coercions est nécessaire même si le module n'est pas ouvert
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2409 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions