diff options
| author | Alain Frisch <alain@frisch.fr> | 2010-05-25 11:22:14 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2010-05-25 11:22:14 +0000 |
| commit | e671780b01a86ad3f126017e814d126b8e4df1f9 (patch) | |
| tree | f54dea63a9740e0a0741d740de5ffe4453ff8aed /otherlibs/win32unix/windbug.h | |
| parent | 9c07d1022f7924ef594a4c13c0f06df8a5f694dc (diff) | |
Fix PR#4012: Map.map and Map.mapi do not conform to specification.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/windbug.h')
0 files changed, 0 insertions, 0 deletions