aboutsummaryrefslogtreecommitdiff
path: root/kernel/genOpcodeFiles.ml
diff options
context:
space:
mode:
authorXavier Leroy2019-12-08 19:20:21 +0100
committerMaxime Dénès2020-01-08 15:07:16 +0100
commite78717780b729f9a69d908afd9da156fffddfe52 (patch)
treef06a6394fbf0be91f9ff0e9d18bd07ec6bd28da2 /kernel/genOpcodeFiles.ml
parenta3070010c19ec8f46b247875e3c771e2de71dcdf (diff)
Reimplement string <-> char list conversions
Using only OCaml stdlib functions available in OCaml 4.05.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions