Project

General

Profile

Revision e8f55c25 src/scheduling.ml

View differences:

src/scheduling.ml
260 260
  	(Utils.fprintf_list ~sep:" ; " pp_eq_schedule) sch);
261 261
  let split_eqs = Splitting.tuple_split_eq_list eqs in
262 262
  (* Flatten schedule *)
263
  let sch = List.fold_right (fun vl res -> (List.map (fun v -> [v]) vl)@res) sch [] in
263
   let sch = List.fold_right (fun vl res -> (List.map (fun v -> [v]) vl)@res) sch [] in 
264 264
  let eqs_rev, remainder =
265 265
    List.fold_left
266 266
      (fun (accu, node_eqs_remainder) vl ->

Also available in: Unified diff