#endif
#include <algorithm>
-#include <cassert>
-#include <cstdio>
#include <iomanip>
#include <iostream>
#include <sstream>
-#include "bitcount.h"
#include "misc.h"
#include "thread.h"
/// timed_wait() waits for msec milliseconds. It is mainly an helper to wrap
/// conversion from milliseconds to struct timespec, as used by pthreads.
-void timed_wait(WaitCondition* sleepCond, Lock* sleepLock, int msec) {
+void timed_wait(WaitCondition& sleepCond, Lock& sleepLock, int msec) {
#if defined(_MSC_VER)
int tm = msec;