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

fix(library/vm/vm): uninitialized variable

Browse source
This commit is contained in:
Leonardo de Moura 2016-10-03 21:25:30 -07:00
parent 88c6177a4c
commit a0a7e22bb7
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

@ -745,7 +745,7 @@ struct vm_decls : public environment_extension {
name_map<unsigned> m_cases2idx;
unsigned_map<vm_cases_function> m_cases;
unsigned_map<name> m_cases_names;
unsigned m_next_cases_idx;
unsigned m_next_cases_idx{0};
vm_decls() {
g_vm_builtins->for_each([&](name const & n, std::tuple<unsigned, char const *, vm_function> const & p) {