diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml index 746e2a8..9edace9 100644 --- a/src/ast_to_c.ml +++ b/src/ast_to_c.ml @@ -181,9 +181,6 @@ let make_state_types nodes: node_states = nt_nb_int = nb_int_vars; nt_nb_bool = nb_bool_vars; nt_nb_real = nb_real_vars; - nt_map_int = h_int; - nt_map_bool = h_bool; - nt_map_real = h_real; nt_map = h_map; nt_output_map = h_out; nt_prevars = pv; diff --git a/src/intermediate_ast.ml b/src/intermediate_ast.ml index e259596..33aefdc 100644 --- a/src/intermediate_ast.ml +++ b/src/intermediate_ast.ml @@ -29,9 +29,6 @@ type node_state = nt_nb_int : int; nt_nb_real: int; nt_nb_bool: int; - nt_map_int: (ident * bool, int) Hashtbl.t; - nt_map_bool: (ident * bool, int) Hashtbl.t; - nt_map_real: (ident * bool, int) Hashtbl.t; nt_map: (ident * bool, string * int) Hashtbl.t; nt_output_map: (int, string * int) Hashtbl.t; nt_prevars: t_var list;