diff options
Diffstat (limited to 'polly/lib/External/isl/isl_ast.c')
| -rw-r--r-- | polly/lib/External/isl/isl_ast.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_ast.c b/polly/lib/External/isl/isl_ast.c index 0ac01f922cf..4aff82e71cb 100644 --- a/polly/lib/External/isl/isl_ast.c +++ b/polly/lib/External/isl/isl_ast.c @@ -1658,6 +1658,7 @@ static __isl_give isl_printer *print_ast_node_isl(__isl_take isl_printer *p, case isl_ast_node_mark: p = isl_printer_print_str(p, "mark: "); p = isl_printer_print_id(p, node->u.m.mark); + p = isl_printer_print_str(p, ", "); p = isl_printer_print_str(p, "node: "); p = isl_printer_print_ast_node(p, node->u.m.node); case isl_ast_node_user: |
