diff options
| author | Brian Campbell | 2018-07-12 15:52:40 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 15:52:40 +0100 |
| commit | 06c20157840425fb367feb186f009858a3a00448 (patch) | |
| tree | d1a7ad0f1f24a001160d9b0a2452984ec254bc77 /src/ocaml_backend.ml | |
| parent | 3e8afd335d1648b700fa04c80312326aec49c9c0 (diff) | |
Coq: get rid of syntax error on exception handling
Diffstat (limited to 'src/ocaml_backend.ml')
0 files changed, 0 insertions, 0 deletions