summaryrefslogtreecommitdiff
path: root/source
diff options
context:
space:
mode:
authorPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-11-07 11:04:45 +0100
committerPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-11-07 11:04:45 +0100
commit7247839e87b05b306250ec52f3a15b6fc0977c63 (patch)
treecbc364d6b86d527564f99fa5739f28e2e4bbff54 /source
parentAdd support for chars (diff)
Fix ast rawprinter
Diffstat (limited to 'source')
-rw-r--r--source/xi_lib/ast_rawprinter.ml2
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