From f03f0aa8b934c5baaee8c601900b84421e23417a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 16 Sep 2014 20:44:43 -0700
Subject: [PATCH] fix(util/thread): MULTI_THREAD=OFF mode

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

diff --git a/src/util/thread.h b/src/util/thread.h
index 03e8f9674..e2ea0b3bf 100644
--- a/src/util/thread.h
+++ b/src/util/thread.h
@@ -143,6 +143,7 @@ public:
 class condition_variable {
 public:
     template<typename Lock> void wait(Lock const &) {}
+    template<typename Lock> void wait_for(Lock const &, chrono::milliseconds const &) {}
     void notify_all() {}
     void notify_one() {}
 };