diff options
| author | letouzey | 2010-07-02 13:36:05 +0000 |
|---|---|---|
| committer | letouzey | 2010-07-02 13:36:05 +0000 |
| commit | 68a133db448e5663da6daf677d4d882bf1bad05c (patch) | |
| tree | aa3255a91f59ef9a2d7f5a9e9055165b6f5121be /kernel/cbytecodes.ml | |
| parent | dacb4b76afe554f1a1e17d981bc98d9fc3a8e807 (diff) | |
Extraction: no more MPself hence no need for subst during pp
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13235 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions