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/main.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/main.ml')
| -rw-r--r-- | sched/main.ml | 2 |
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.@."; |