summaryrefslogtreecommitdiff
path: root/sched/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'sched/main.ml')
-rw-r--r--sched/main.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/sched/main.ml b/sched/main.ml
index 988d1ec..a2a4d3b 100644
--- a/sched/main.ml
+++ b/sched/main.ml
@@ -11,7 +11,7 @@ let compile filename =
let q = ref p in
begin try
- q := Scheduler.schedule p
+ q := (Simplify.simplify (Scheduler.schedule p))
with
| Scheduler.Combinational_cycle ->
Format.eprintf "The netlist has a combinatory cycle.@.";