diff options
Diffstat (limited to 'dev-ml/dose3/files/ocamlgraph.patch')
-rw-r--r-- | dev-ml/dose3/files/ocamlgraph.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ml/dose3/files/ocamlgraph.patch b/dev-ml/dose3/files/ocamlgraph.patch new file mode 100644 index 000000000000..6f8edee5fbcc --- /dev/null +++ b/dev-ml/dose3/files/ocamlgraph.patch @@ -0,0 +1,13 @@ +Index: dose3-4.3/algo/dominators.ml +=================================================================== +--- dose3-4.3.orig/algo/dominators.ml ++++ dose3-4.3/algo/dominators.ml +@@ -101,7 +101,7 @@ let dominators_tarjan graph = + ) graph; + + Util.Timer.start tjntimer; +-#if OCAMLGRAPHVERSION <= 186 ++#if OCAMLGRAPHVERSION >= 186 + let module Dom = Dominator.Make_graph(G) in + #else + let module Dom = Dominator.Make(G) in |