diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-03-31 04:10:46 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-03-31 04:10:46 -0400 |
| commit | 46f7447e864b89097adedb70827017a5eef234f0 (patch) | |
| tree | ef01a586ce7630c198c69be91c3a16141ffb3cbf /src/settings.sml | |
| parent | 0b941d68e7ceba9302d57eb8083e8244602a09ce (diff) | |
Fix type in flush FFI call to option string (rather than string).
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions