From 34b9f7e90119b9d1c04d9b58f11cbe0129d99663 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 3 Oct 2015 13:55:57 +0800
Subject: [PATCH] examples/speed_benchmark: remove decimals on nruns

---
 examples/master/repository/speed_benchmark.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/master/repository/speed_benchmark.py b/examples/master/repository/speed_benchmark.py
index 6face8d55..df2d3c630 100644
--- a/examples/master/repository/speed_benchmark.py
+++ b/examples/master/repository/speed_benchmark.py
@@ -78,7 +78,7 @@ class SpeedBenchmark(EnvExperiment):
                                                         "CoreSend100Ints",
                                                         "CoreSend1MB",
                                                         "CorePrimes"]))
-        self.attr_argument("nruns", NumberValue(10, min=1, max=1000))
+        self.attr_argument("nruns", NumberValue(10, min=1, max=1000, ndecimals=0))
         self.attr_device("core")
         self.attr_device("scheduler")