diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2018-04-06 15:23:57 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2018-04-06 16:09:53 +0200 |
commit | e52f39cbe9d7cef666fbce4c2dc085957670cc65 (patch) | |
tree | 053fb3c0043fa57ac28d2756971732ac87555046 /boot | |
parent | d42422a0cfb2d0daf8d8070eb19a699e12b858dd (diff) | |
download | ocaml-e52f39cbe9d7cef666fbce4c2dc085957670cc65.tar.gz |
Revert "Replace constant pointers by regular integers (#1580)"
This reverts commit 022051e7bd491a2da21ca458f178ee2ff46d5fed.
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions