diff options
| author | Alasdair Armstrong | 2017-10-23 16:09:43 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-23 16:09:43 +0100 |
| commit | a92a237fa23e6dd4b06f58615338a609c34d72be (patch) | |
| tree | 8ac3eaac6b10ee49e7dcf1e482c9fbe4a8db0448 /src/pretty_print_sail2.ml | |
| parent | 74b6c74b7407f7141796cb109c750f86659d1d2d (diff) | |
Added support for better tracing in ocaml backend
Fixed an issue in ast.ml with uneccessary type variables
Diffstat (limited to 'src/pretty_print_sail2.ml')
0 files changed, 0 insertions, 0 deletions