diff --git a/src/library/module.cpp b/src/library/module.cpp
index 8869d337f..257ed4d2e 100644
--- a/src/library/module.cpp
+++ b/src/library/module.cpp
@@ -241,6 +241,7 @@ struct import_modules_fn {
             auto d = load_module_file(i);
             d->m_dependents.push_back(r);
         }
+        r->m_module_idx = m_next_module_idx++;
 
         if (imports.empty())
             add_import_module_task(r);
@@ -302,7 +303,6 @@ struct import_modules_fn {
     }
 
     void import_module(module_info_ptr const & r) {
-        r->m_module_idx = m_next_module_idx++;
         std::string s(r->m_obj_code.data(), r->m_obj_code.size());
         std::istringstream in(s, std::ios_base::binary);
         deserializer d(in);