diff options
| -rw-r--r-- | kvx/lib/RTLpathScheduleraux.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kvx/lib/RTLpathScheduleraux.ml b/kvx/lib/RTLpathScheduleraux.ml index 433ba405..d890243e 100644 --- a/kvx/lib/RTLpathScheduleraux.ml +++ b/kvx/lib/RTLpathScheduleraux.ml @@ -73,8 +73,6 @@ let scheduler f = let pm = f.fn_path in let lsb = get_superblocks code entry pm in begin - debug_flag := true; print_superblocks lsb; - debug_flag := false; (code, id_ptree) end |