diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-07 14:15:21 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-07 14:15:21 +0000 |
| commit | a4208b6ffdded5e03959245026b88f7716406de3 (patch) | |
| tree | 1399bc0ca2daf22375dc3ca2bca5a844c588f416 /gi/pyp-topics/src/workers.hh | |
| parent | 3fc163ac91c04c90962561cae6028d7bcf72f5f2 (diff) | |
cygwin compile
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@176 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'gi/pyp-topics/src/workers.hh')
| -rw-r--r-- | gi/pyp-topics/src/workers.hh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gi/pyp-topics/src/workers.hh b/gi/pyp-topics/src/workers.hh index 1f496acf..55424c8d 100644 --- a/gi/pyp-topics/src/workers.hh +++ b/gi/pyp-topics/src/workers.hh @@ -1,6 +1,8 @@ #ifndef WORKERS_HH #define WORKERS_HH +#include "timing.h" + #include <iostream> #include <boost/bind.hpp> #include <boost/function.hpp> @@ -10,7 +12,6 @@ //#include <boost/date_time/posix_time/posix_time_types.hpp> -#include "timing.h" template <typename J, typename R> class SimpleWorker @@ -27,7 +28,7 @@ public: R run() //this is called upon thread creation { R wresult = 0; - + assert(job); timer.Reset(); wresult = job(); |