summaryrefslogtreecommitdiff
path: root/src/ast_util.mli
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-10-23 16:09:43 +0100
committerAlasdair Armstrong2017-10-23 16:09:43 +0100
commita92a237fa23e6dd4b06f58615338a609c34d72be (patch)
tree8ac3eaac6b10ee49e7dcf1e482c9fbe4a8db0448 /src/ast_util.mli
parent74b6c74b7407f7141796cb109c750f86659d1d2d (diff)
Added support for better tracing in ocaml backend
Fixed an issue in ast.ml with uneccessary type variables
Diffstat (limited to 'src/ast_util.mli')
0 files changed, 0 insertions, 0 deletions