diff options
Diffstat (limited to 'sched/main.ml')
| -rw-r--r-- | sched/main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/main.ml b/sched/main.ml index ab6ef30..c8ea58e 100644 --- a/sched/main.ml +++ b/sched/main.ml @@ -6,9 +6,9 @@ let dumb_down = ref false let compile filename = try let p = Netlist.read_file filename in - let out_name = (Filename.chop_suffix filename ".net") ^ "_sch.net" in + let out_name = (Filename.chop_suffix filename ".net") ^ ".snet" in let dumb_out_name = (Filename.chop_suffix filename ".net") ^ ".dumb" in - let out_opt_name = (Filename.chop_suffix filename ".net") ^ "_sch_opt.net" in + let out_opt_name = (Filename.chop_suffix filename ".net") ^ "_opt.snet" in let dumb_opt_out_name = (Filename.chop_suffix filename ".net") ^ "_opt.dumb" in let q, q_opt = ref p, ref p in |