diff --git a/repos/mml/src/app/blinktree/blinktree_benchmark/main.cpp b/repos/mml/src/app/blinktree/blinktree_benchmark/main.cpp index f8deed6e03..652777ba71 100644 --- a/repos/mml/src/app/blinktree/blinktree_benchmark/main.cpp +++ b/repos/mml/src/app/blinktree/blinktree_benchmark/main.cpp @@ -168,8 +168,9 @@ std::tuple create_benchmark(Libc::Env &env, in } // Create the benchmark. + Genode::Heap _heap{env.ram(), env.rm()}; auto *benchmark = - new Benchmark(env, std::move(cores), argument_parser.get("-i"), std::move(workload_files[0]), + new (_heap) Benchmark(env, std::move(cores), argument_parser.get("-i"), std::move(workload_files[0]), std::move(workload_files[1]), argument_parser.get("-p"), isolation_level, preferred_synchronization_method, argument_parser.get("--print-stats"), argument_parser.get("--disable-check") == false, argument_parser.get("-o"),