diff options
| author | Alasdair Armstrong | 2018-11-05 18:37:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-05 18:37:40 +0000 |
| commit | e8f8f3e65c9cb541712cec3c38de80f78d8fdedb (patch) | |
| tree | c33b669a0f937e6eecebb5647a2019bfbc59bc3a /src/process_file.ml | |
| parent | a3de0c3913d9dec549ebf96496dbf340fa7b124e (diff) | |
Ensure function quantifier is in scope when generating C return type
This goes partway to resolving issue #23, as it now generates C code,
but it seems like there is still an issue with the generated C.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions