diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2014-05-02 12:47:02 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2014-05-02 12:47:02 +0000 |
| commit | f0b0c82b6fe9e54240eca39264ff9f0a4cacc948 (patch) | |
| tree | e7723e3d663d2f767d6545906e3882fb77ffb9a1 /byterun/fix_code.c | |
| parent | 2dd92969d254ddae7b49f1478a2ef69ccf70ad42 (diff) | |
add the %int_as_pointer primitive
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14726 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/fix_code.c')
0 files changed, 0 insertions, 0 deletions