diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:16:53 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:16:53 +0200 |
commit | 3cb0d0fafed4bc1fa42c2d6b20a00e82e19d658d (patch) | |
tree | 2e0021fb581fac2a5a4404d390ae3e2bef5c6882 | |
parent | b5264b5677eb95dfb1867f8df0bdb81d5ed23ad2 (diff) | |
download | compcert-kvx-3cb0d0fafed4bc1fa42c2d6b20a00e82e19d658d.tar.gz compcert-kvx-3cb0d0fafed4bc1fa42c2d6b20a00e82e19d658d.zip |
Remove duplicate function definition
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 7fc940c7..4e89b28c 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1062,14 +1062,6 @@ let my_merge_no_overwrite m1 m2 = else failwith "Merge conflict." ) m1 m2 -let my_merge_overwrite m1 m2 = - PTree.combine (fun x y -> match (x, y) with - | None, None -> None - | Some x, None - | None, Some x -> Some x - | Some _, Some y -> Some y - ) m1 m2 - let print_schedule schedule = debug "Schedule\n"; Array.iter (fun pos -> debug "%d\n" (Camlcoq.P.to_int pos)) schedule; |