From 5075891f660db336ef78e7dd9bb7f37861db13eb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 4 Nov 2016 09:41:10 -0700 Subject: [PATCH] chore(library/vm/vm): fix gcc 4.8 warning --- src/library/vm/vm.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp index a52cfb6c72..b4744865a2 100644 --- a/src/library/vm/vm.cpp +++ b/src/library/vm/vm.cpp @@ -2303,7 +2303,7 @@ vm_state::profiler::~profiler() { auto vm_state::profiler::get_snapshots() -> snapshots { stop(); - snapshots r {}; + snapshots r; std::unordered_map cum_times; for (snapshot_core const & s : m_snapshots) { snapshot new_s;