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

fix(util/thread): MULTI_THREAD=OFF mode

Browse source
This commit is contained in:
Leonardo de Moura 2014-09-16 20:44:43 -07:00
parent 2b0623c0a1
commit f03f0aa8b9
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/thread.h
View file

@ -143,6 +143,7 @@ public:
class condition_variable { class condition_variable {
public: public:
template<typename Lock> void wait(Lock const &) {} template<typename Lock> void wait(Lock const &) {}
template<typename Lock> void wait_for(Lock const &, chrono::milliseconds const &) {}
void notify_all() {} void notify_all() {}
void notify_one() {} void notify_one() {}
}; };