From 605a10cd2315c6b1993d743a8fb7c15dab21ac0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Thu, 30 Jan 2014 16:26:53 +0100
Subject: [PATCH] Reduce set of agents to 5

It simplifies many things
---
 CoolUtils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoolUtils.ml b/CoolUtils.ml
index 24b6486..5fc2631 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 (
-- 
GitLab