diff options
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 87e106a5..87edcb7c 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -687,7 +687,7 @@ let ideal_schedule'' sb code mode = let old_debug_flag = !debug_flag in let dep_function = match mode with - | Default -> PrepassSchedulingOracle.get_simple_dependencies + | Default -> PrepassSchedulingOracle.get_simple_dependencies' | Ignore_liveness -> PrepassSchedulingOracle.get_fake_deps_liveness | Move_stores -> PrepassSchedulingOracle.get_fake_deps_liveness_stores in |