diff options
| author | aspiwack | 2007-12-14 11:48:05 +0000 |
|---|---|---|
| committer | aspiwack | 2007-12-14 11:48:05 +0000 |
| commit | 7ad1614bc7a21e6630fffb523b56b3f26dddc3a1 (patch) | |
| tree | 4180c100d1c8681082f738e77b84ba6118487afb /kernel/cbytecodes.mli | |
| parent | 8bddc438fa3a393a799c388843e235e2a63160fb (diff) | |
Petite correction de Option.default (default faisait un Option.map
gratuit, je me suis décidé pour quelque chose de plus atomique).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions