From 2110da4784de457d68cf32a60e09fab752104372 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 3 Sep 2019 21:43:50 +0200
Subject: [PATCH] chore(tests/bench/speedcenter.exec.yaml): fix deriv
 speedcenter benchmark

---
 tests/bench/speedcenter.exec.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml
index 3621fa3be1..77cb1bc8a1 100644
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@@ -46,9 +46,9 @@
     tags: [fast, suite]
   run_config:
     <<: *time
-    cmd: ./deriv.lean.out
+    cmd: ./deriv.lean.out 10
   build_config:
-    cmd: ./compile.sh deriv.lean 10
+    cmd: ./compile.sh deriv.lean
 - attributes:
     description: const_fold
     tags: [fast, suite]