diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 13:47:12 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 13:47:12 +0100 |
| commit | 07b7563e0748b1aff6f4d28b0172095b2fdcdfcc (patch) | |
| tree | a5e390cfad822d87e6874f4e719edda445a32585 /sched/netlist_printer.ml | |
| parent | 94e88e887cf2ee4c6b445924d26e134a90bcbd50 (diff) | |
| download | SystDigit-Projet-07b7563e0748b1aff6f4d28b0172095b2fdcdfcc.tar.gz SystDigit-Projet-07b7563e0748b1aff6f4d28b0172095b2fdcdfcc.zip | |
Added netlist simplification passes (not yet quite complete !)
Diffstat (limited to 'sched/netlist_printer.ml')
| -rw-r--r-- | sched/netlist_printer.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/netlist_printer.ml b/sched/netlist_printer.ml index b8cf385..746867f 100644 --- a/sched/netlist_printer.ml +++ b/sched/netlist_printer.ml @@ -133,8 +133,8 @@ let print_dumb_program oc p = fprintf ff "%d\n" (List.length p.p_eqs); (* write equations *) let print_arg = function - | Avar(k) -> fprintf ff " %d" (Hashtbl.find var_id k) - | Aconst(n) -> fprintf ff " $"; + | Avar(k) -> fprintf ff " $%d" (Hashtbl.find var_id k) + | Aconst(n) -> fprintf ff " "; begin match n with | VBit(x) -> fprintf ff "%d" (if x then 1 else 0) | VBitArray(a) -> |