path: root/kvx/lib/RTLpathScheduleraux.ml

open RTLpath
open RTL
open Maps

let scheduler f =
  let code = f.fn_RTL.fn_code in
  let id_ptree = PTree.map (fun n i -> n) code in
  (code, id_ptree)