diff options
| author | Jon French | 2018-06-14 15:29:38 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-14 15:29:49 +0100 |
| commit | b58c7dd97ab2a22002cc34ab25a558057834c31c (patch) | |
| tree | 84d6e424e2046614db119b5c85938a823ac8c958 /power/power_extras_embed_sequential.lem | |
| parent | 015c424a4bb181da32cd94b60f1ab04ac5147727 (diff) | |
provide impl of int_of_string_opt in Sail_lib to support older Ocaml versions
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions