diff options
Diffstat (limited to 'frontend/ast_printer.ml')
| -rw-r--r-- | frontend/ast_printer.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml index 7ddcb67..ac30fe9 100644 --- a/frontend/ast_printer.ml +++ b/frontend/ast_printer.ml @@ -160,6 +160,10 @@ let rec print_expr fmt e = Format.fprintf fmt "%a(%a)" print_id i (print_list print_expr ", ") (List.map fst l) + | AST_tuple x -> + Format.fprintf fmt "(%a)" + (print_list print_expr ", ") (List.map fst x) + (* equations *) |