diff options
| author | herbelin | 2005-12-24 00:25:55 +0000 |
|---|---|---|
| committer | herbelin | 2005-12-24 00:25:55 +0000 |
| commit | 7a367644e539a822be1bbb0d93742b915061cb15 (patch) | |
| tree | 0bd6c7db9406555cc66742185ba92ff4526db11f /dev | |
| parent | bb98d8e44ca30c8db605aaccadfe74682914f6a0 (diff) | |
Tentative de réparation du bug #1025: it seems like that a casted module should only rely on the contents of its signature (i.e. with removal of the keep and special objects), doesn't it?
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7720 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions