michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/module): make sure decls from imported modules have module_idx > 0

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-06-28 08:36:54 -07:00
parent 58b6169e8b
commit 7075f6e94a
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/module.cpp
View file

@ -230,7 +230,7 @@ struct import_modules_fn {
r->m_name = mname;
r->m_fname = fname;
r->m_counter = imports.size();
r->m_module_idx = m_import_counter;
r->m_module_idx = m_import_counter+1; // importate modules have idx > 0, we reserve idx 0 for new module
m_import_counter++;
std::swap(r->m_obj_code, code);
m_module_info.insert(mk_pair(mname, r));