diff options
| author | soubiran | 2010-05-05 12:27:48 +0000 |
|---|---|---|
| committer | soubiran | 2010-05-05 12:27:48 +0000 |
| commit | 6d8d2c2f3941a9be486f225d9b62239a6a9113a1 (patch) | |
| tree | df1f6e65d581e8c5de3550e830bf9b39ed4d4dab /kernel/cbytecodes.ml | |
| parent | 9a822a9b927bb3516445779f7de99cf0ef43692e (diff) | |
Patch bug 2313.
Including a module or module type into the top module.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12994 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions