summaryrefslogtreecommitdiff
blob: 6f8edee5fbcc9a326feca454ef66c79e2c001aeb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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