diff --git a/src/library/module.cpp b/src/library/module.cpp
index 578b33a80c..da06892fa7 100644
--- a/src/library/module.cpp
+++ b/src/library/module.cpp
@@ -303,6 +303,7 @@ struct import_modules_fn {
                                 while (auto t = next_task()) {
                                     (*t)(m_senv);
                                 }
+                                m_asynch_cv.notify_all();
                             } catch (exception ex) {
                                 thread_exceptions[i].reset(ex.clone());
                             } catch (...) {
@@ -314,6 +315,7 @@ struct import_modules_fn {
             while (auto t = next_task()) {
                 (*t)(m_senv);
             }
+            m_asynch_cv.notify_all();
             for (auto & th : extra_threads)
                 th->join();
         } catch (...) {