diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-03-13 15:43:12 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-03-13 16:41:03 +0100 |
| commit | 494ab7773515ea67bf365707852bbb4074f866ba (patch) | |
| tree | 859bb794a729955db53bfade584bc647f0f507ab /interp/implicit_quantifiers.ml | |
| parent | edb3302188af4b5b75111339e3f466a6ec09aef2 (diff) | |
Fix compilation with forthcoming Ocaml version 4.03.
Backported from a patch for v8.4 by Pierre Chambart. Part of the commit has been rendered obsolete by code reorganisation, leaving:
* OCaml runtime header files used to declare the int32, uint32, int64
and uint64 type. That got removed, and uses of those types should be replaced by the standard ones: uint32_t, int32_t, int64_t, uint64_t. Those are defined in stdint.h.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions