From 77c865e36084672c2421e007e7c4b821e9f549c8 Mon Sep 17 00:00:00 2001 From: Arnaud DABY-SEESARAM Date: Sun, 18 Dec 2022 17:25:34 +0100 Subject: [PATCH] [intermediate_ast] remove unused fields of i_nodes --- src/ast_to_c.ml | 3 --- src/intermediate_ast.ml | 3 --- 2 files changed, 6 deletions(-) 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;