From e78802739247d120d6694993675e5a2a1cd6debb Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Thu, 7 Nov 2013 11:05:54 +0100 Subject: Correction to netlist parser (not taken into account in the caml simulator, which is kind of abandonned). --- sched/netlist_dumb.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sched/netlist_dumb.ml') diff --git a/sched/netlist_dumb.ml b/sched/netlist_dumb.ml index 19b16a8..7736d94 100644 --- a/sched/netlist_dumb.ml +++ b/sched/netlist_dumb.ml @@ -52,7 +52,7 @@ let mkbinstr a = let make_program_dumb p = let vars = ref [] in - let var_map = Hashtbl.create (Env.size p.p_vars) in + let var_map = Hashtbl.create (Env.cardinal p.p_vars) in () (* TODO *) (* 1. Identify constants and create new variables for them, put them on the variable list -- cgit v1.2.3