diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 18:38:25 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 18:38:25 +0100 |
| commit | ad529541bf54d9a4339a7371208b7d328c0a449a (patch) | |
| tree | e101b23d58d0e9fcc6db8020506668b07f3b2804 /sched/simplify.ml | |
| parent | 1514c384d205a1710d81e52aba82476e1146e37d (diff) | |
| download | SystDigit-Projet-ad529541bf54d9a4339a7371208b7d328c0a449a.tar.gz SystDigit-Projet-ad529541bf54d9a4339a7371208b7d328c0a449a.zip | |
Deleted useless debug output ; coded working 60/60/24 clock.
Diffstat (limited to 'sched/simplify.ml')
| -rw-r--r-- | sched/simplify.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/sched/simplify.ml b/sched/simplify.ml index ae5ec65..5ca4b99 100644 --- a/sched/simplify.ml +++ b/sched/simplify.ml @@ -219,10 +219,6 @@ let topo_sort p = (* Apply all the simplification passes, in the order given in the header of this file *) -let dump_varlist p = - print_string "Eq list:\n"; - List.iter (fun (n, _) -> print_string ("- "^n^"\n")) p.p_eqs - let rec simplify p = let steps = [ cascade_slices; @@ -235,7 +231,6 @@ let rec simplify p = let pp, use = List.fold_left (fun (x, u) f -> let xx, uu = f x in - dump_varlist xx; (xx, u || uu)) (p, false) steps in if use then simplify pp else pp |