aboutsummaryrefslogtreecommitdiff
path: root/calculette_aoo/lib/build.ml
diff options
context:
space:
mode:
Diffstat (limited to 'calculette_aoo/lib/build.ml')
-rw-r--r--calculette_aoo/lib/build.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/calculette_aoo/lib/build.ml b/calculette_aoo/lib/build.ml
index 5c2ac0b..2119fb6 100644
--- a/calculette_aoo/lib/build.ml
+++ b/calculette_aoo/lib/build.ml
@@ -80,7 +80,7 @@ let repr : env -> Format.formatter -> build -> unit =
let score : env -> build -> float =
fun env build ->
- let d, v = eval build env in
+ let d, _ = eval build env in
d
(* Upgrade each caracteristic and keep only the values in range *)