diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-05-29 16:52:43 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-05-29 16:52:43 +0200 |
commit | d82a2138e3b429fc3a8d6ed9f578dd8dcfb6b1ef (patch) | |
tree | c20469259dcface13db6216ac7a310f9812a0dd4 | |
parent | 8f246ae75c1f7aa6cb84d3ebdff57d2350877b4a (diff) | |
download | compcert-kvx-d82a2138e3b429fc3a8d6ed9f578dd8dcfb6b1ef.tar.gz compcert-kvx-d82a2138e3b429fc3a8d6ed9f578dd8dcfb6b1ef.zip |
Scheduler removing debug flag
-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 |