diff options
| author | soubiran | 2010-02-02 15:35:21 +0000 |
|---|---|---|
| committer | soubiran | 2010-02-02 15:35:21 +0000 |
| commit | 206ce9892fbfc2dbac151fb3479b9a0849461536 (patch) | |
| tree | a852b2d7a3ac538c6d0dc59297695eacae944780 /kernel/declarations.ml | |
| parent | 3ef3e0d145c2765c17e0f10b9c0d896c09365662 (diff) | |
Small fix on module inclusion.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12706 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions