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 | b34dc5f6ee44fe4e85508bbca4180b6afa9915c1 (patch) | |
tree | f8e39197fa8654cd979b027994f367046b28357b /gi/pyp-topics/src/workers.hh | |
parent | 54fe4af09559a707beaedb069b4ef159028b9758 (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(); |