From b63b05e5fd5861663da9a4636277b9cf6308bc30 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 28 Aug 2018 08:08:55 -0700
Subject: [PATCH] fix(runtime/thread): `MULTI_THREAD=OFF` build

---
 src/runtime/thread.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/runtime/thread.h b/src/runtime/thread.h
index 1740d8f92c..76b95317d9 100644
--- a/src/runtime/thread.h
+++ b/src/runtime/thread.h
@@ -154,6 +154,7 @@ public:
 class condition_variable {
 public:
     template<typename Lock> void wait(Lock const &) {}
+    template<typename Lock, typename F> void wait(Lock const &, F) {}
     template<typename Lock> void wait_for(Lock const &, chrono::milliseconds const &) {}
     void notify_all() {}
     void notify_one() {}