max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/vm/vm): fix gcc 4.8 warning

Browse source
This commit is contained in:
Leonardo de Moura 2016-11-04 09:41:10 -07:00
parent ef1fc9871b
commit 5075891f66
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/vm/vm.cpp
View file

@ -2303,7 +2303,7 @@ vm_state::profiler::~profiler() {
auto vm_state::profiler::get_snapshots() -> snapshots {
stop();
snapshots r {};
snapshots r;
std::unordered_map<name, chrono::milliseconds, name_hash> cum_times;
for (snapshot_core const & s : m_snapshots) {
snapshot new_s;