diff --git a/test/coloring/p.ml b/test/coloring/p.ml index ae452c46c3ffb7d7d9a65f21e20e8594aabd7bbd..9be6c6f1f9f6b0444922e6d62d9a24273ccf3d97 100644 --- a/test/coloring/p.ml +++ b/test/coloring/p.ml @@ -1,8 +1,8 @@ -(* Time-stamp: <modified the 27/07/2021 (at 14:48) by Erwan Jahier> *) +(* Time-stamp: <modified the 28/07/2021 (at 09:01) by Erwan Jahier> *) (* This is algo 3.1 in the book *) open Algo -let k = if directed () then +let k = if is_directed () then failwith "this algo is for non-directed graphs!" card()+1 else max_degree () + 1