diff --git a/CoolUtils.ml b/CoolUtils.ml index 24b64863295feee9990f638ef9a62b5d5ad03de0..5fc26310f5e875a97fbb7723b86f179a5073db41 100644 --- a/CoolUtils.ml +++ b/CoolUtils.ml @@ -34,7 +34,7 @@ module TList = struct let prod la lb = List.concat (List.map (fun a -> List.map (fun b -> (a,b)) lb) la) end -let agents = ref ([|1;2;3;4;5;6;7;8;9;10|]) +let agents = ref ([|1;2;3;4;5|]) let cl_get_agents () = !agents let cl_set_agents arr = ignore (