From 3b89b61d665fc6c879c8bfaab60079656b6ff858 Mon Sep 17 00:00:00 2001 From: vaclavt Date: Sun, 23 Jan 2022 01:14:04 +0100 Subject: [PATCH] reserve vactor size in map --- ml.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/ml.cpp b/ml.cpp index 343e326..d82debc 100644 --- a/ml.cpp +++ b/ml.cpp @@ -1879,6 +1879,7 @@ MlValue map_list(std::vector args, MlEnvironment &env) { throw MlError(MlValue("map_list", map_list), env, args.size() > 2 ? TOO_MANY_ARGS : TOO_FEW_ARGS); std::vector result, list = args[1].as_list(), tmp; + result.reserve(list.size()); for (const auto & item : list) { tmp.push_back(item); result.push_back(args[0].apply(tmp, env));