diff options
author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-11-07 11:04:45 +0100 |
---|---|---|
committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-11-07 11:04:45 +0100 |
commit | 7247839e87b05b306250ec52f3a15b6fc0977c63 (patch) | |
tree | cbc364d6b86d527564f99fa5739f28e2e4bbff54 /source | |
parent | Add support for chars (diff) |
Fix ast rawprinter
Diffstat (limited to 'source')
-rw-r--r-- | source/xi_lib/ast_rawprinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xi_lib/ast_rawprinter.ml b/source/xi_lib/ast_rawprinter.ml index 0c6494e..a644368 100644 --- a/source/xi_lib/ast_rawprinter.ml +++ b/source/xi_lib/ast_rawprinter.ml @@ -179,7 +179,7 @@ let rec p_expression = function ; "arg", p_expression arg ] - | EXPR_Index {tag; loc; expr; index} -> p_dict "EXPR_Length" + | EXPR_Index {tag; loc; expr; index} -> p_dict "EXPR_Index" [ "loc", p_location loc ; "tag", p_node_tag tag ; "expr", p_expression expr |