diff options
| author | gareuselesinge | 2013-08-30 16:02:23 +0000 |
|---|---|---|
| committer | gareuselesinge | 2013-08-30 16:02:23 +0000 |
| commit | 18c3b336781e2c248a44ff9209cb8bf7eb5f38a3 (patch) | |
| tree | 55ed6563117e4d3ca43d70e922db48ac28e8c3ae /dev | |
| parent | 81117e3da0d2a75610c861e466088c311b3727d0 (diff) | |
summary for ML modules made correct
This summary entry is special because its unfreeze may load ML
code that in turns adds summary entries. Hence it is the first
summary piece to be unfreezed, otherwise some summaries may get
lost.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16752 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions