summary refs log tree commit diff
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
parentAdd support for chars (diff)
Fix ast rawprinter
-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