diff options
Diffstat (limited to 'frontend/ast_printer.ml')
| -rw-r--r-- | frontend/ast_printer.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml index edd27e9..08f4fb4 100644 --- a/frontend/ast_printer.ml +++ b/frontend/ast_printer.ml @@ -205,7 +205,7 @@ and print_activate_if ind fmt = function Format.fprintf fmt "%selse@\n" ind; print_activate_if (indent ind) fmt e | AST_activate_body(b) -> - print_vars ind fmt b.locals; + print_vars ind fmt b.act_locals; print_body ind fmt b.body and print_automaton ind fmt (n, sts, r) = @@ -215,8 +215,8 @@ and print_automaton ind fmt (n, sts, r) = and print_state ind fmt (st, _) = Format.fprintf fmt "%s%sstate %s@\n" - ind (if st.initial then "initial " else "") st.name; - print_vars ind fmt st.locals; + ind (if st.initial then "initial " else "") st.st_name; + print_vars ind fmt st.st_locals; print_body ind fmt st.body; if st.until <> [] then begin Format.fprintf fmt "%suntil@\n" ind; @@ -233,7 +233,7 @@ and print_block ind fmt b = and print_node_decl fmt (d : node_decl) = Format.fprintf fmt "node %s(%a) returns(%a)@\n" - d.name + d.n_name (print_list print_var_decl "; ") d.args (print_list print_var_decl "; ") d.ret; print_vars "" fmt d.var; @@ -242,7 +242,7 @@ and print_node_decl fmt (d : node_decl) = let print_const_decl fmt (d : const_decl) = Format.fprintf fmt "const %s: %s = %a@\n@\n" - d.name (string_of_typ d.typ) + d.c_name (string_of_typ d.typ) print_expr (fst d.value) let print_toplevel fmt = function |