Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[intermediate_ast] remove unused fields of i_nodes

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-18 17:25:34 +01:00
parent 02130cf57c
commit 77c865e360
2 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/ast_to_c.ml
View File

@ -181,9 +181,6 @@ let make_state_types nodes: node_states =
nt_nb_int = nb_int_vars; nt_nb_int = nb_int_vars;
nt_nb_bool = nb_bool_vars; nt_nb_bool = nb_bool_vars;
nt_nb_real = nb_real_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_map = h_map;
nt_output_map = h_out; nt_output_map = h_out;
nt_prevars = pv; nt_prevars = pv;

3
src/intermediate_ast.ml
View File

@ -29,9 +29,6 @@ type node_state =
nt_nb_int : int; nt_nb_int : int;
nt_nb_real: int; nt_nb_real: int;
nt_nb_bool: 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_map: (ident * bool, string * int) Hashtbl.t;
nt_output_map: (int, string * int) Hashtbl.t; nt_output_map: (int, string * int) Hashtbl.t;
nt_prevars: t_var list; nt_prevars: t_var list;