diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:17:27 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:17:27 +0200 |
commit | 91b4946c7d3c80d92d3f9befe7ad90939733235f (patch) | |
tree | f630d2d8800304cdccb84fbd7afebda37d7f1861 | |
parent | 3cb0d0fafed4bc1fa42c2d6b20a00e82e19d658d (diff) | |
download | compcert-kvx-91b4946c7d3c80d92d3f9befe7ad90939733235f.tar.gz compcert-kvx-91b4946c7d3c80d92d3f9befe7ad90939733235f.zip |
Remove useless comment
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 4e89b28c..efc8aee0 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1397,7 +1397,6 @@ let scheduler f = debug "\n"; flush_all (); - (* WARNING: mutation *) let sb_tocompensatepcs_liverenames = ListLabels.map sb_renamings ~f:(fun (sb, live_renames) -> |