summaryrefslogtreecommitdiff
path: root/sched/main.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-07 10:59:38 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-07 10:59:38 +0100
commitf57717d1a662d519515d5431198709bcb703b8dd (patch)
tree963165f6c3399381f15e710eda357dc617713c4c /sched/main.ml
parent818f81108fa30cd5a90c99df955f811fed043993 (diff)
downloadSystDigit-Projet-f57717d1a662d519515d5431198709bcb703b8dd.tar.gz
SystDigit-Projet-f57717d1a662d519515d5431198709bcb703b8dd.zip
Started work on second version of dumb netlist format.
Diffstat (limited to 'sched/main.ml')
-rw-r--r--sched/main.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/main.ml b/sched/main.ml
index 1b4b9d8..ab6ef30 100644
--- a/sched/main.ml
+++ b/sched/main.ml
@@ -25,14 +25,14 @@ let compile filename =
Netlist_printer.print_program out !q;
close_out out;
let dumb_out = open_out dumb_out_name in
- Netlist_printer.print_dumb_program dumb_out !q;
+ Netlist_dumb.print_program dumb_out !q;
close_out dumb_out;
let out_opt = open_out out_opt_name in
Netlist_printer.print_program out_opt !q_opt;
close_out out_opt;
let dumb_opt_out = open_out dumb_opt_out_name in
- Netlist_printer.print_dumb_program dumb_opt_out !q_opt;
+ Netlist_dumb.print_program dumb_opt_out !q_opt;
close_out dumb_opt_out;
if !simulate then (