diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-07 11:05:54 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-07 11:05:54 +0100 |
| commit | e78802739247d120d6694993675e5a2a1cd6debb (patch) | |
| tree | 719e659b286fddaacf3de40d7679d4062711961d /sched/netlist_dumb.ml | |
| parent | f57717d1a662d519515d5431198709bcb703b8dd (diff) | |
| download | SystDigit-Projet-e78802739247d120d6694993675e5a2a1cd6debb.tar.gz SystDigit-Projet-e78802739247d120d6694993675e5a2a1cd6debb.zip | |
Correction to netlist parser (not taken into account in the caml simulator, which is kind of abandonned).
Diffstat (limited to 'sched/netlist_dumb.ml')
| -rw-r--r-- | sched/netlist_dumb.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |