diff options
Diffstat (limited to 'calculette_aoo/lib/build.mli')
| -rw-r--r-- | calculette_aoo/lib/build.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/calculette_aoo/lib/build.mli b/calculette_aoo/lib/build.mli index 3e2e690..7e39b71 100644 --- a/calculette_aoo/lib/build.mli +++ b/calculette_aoo/lib/build.mli @@ -9,7 +9,7 @@ type build = { type env = { cout_sort : int ; degat_sort : int - ; max_tours : float + ; max_tours : int ; fm_oponent : int ; cost_max : int ; frequencies : (int * float) list |