diff options
Diffstat (limited to 'dev-ml/dose3/files/ocamlgraph.patch')
-rw-r--r-- | dev-ml/dose3/files/ocamlgraph.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-ml/dose3/files/ocamlgraph.patch b/dev-ml/dose3/files/ocamlgraph.patch deleted file mode 100644 index 6f8edee5fbcc..000000000000 --- a/dev-ml/dose3/files/ocamlgraph.patch +++ /dev/null @@ -1,13 +0,0 @@ -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 |