diff options
Diffstat (limited to 'pfinet/glue-include/linux/timer.h')
| -rw-r--r-- | pfinet/glue-include/linux/timer.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/glue-include/linux/timer.h b/pfinet/glue-include/linux/timer.h index cc8dec80..5497b109 100644 --- a/pfinet/glue-include/linux/timer.h +++ b/pfinet/glue-include/linux/timer.h @@ -1,7 +1,7 @@ #ifndef _HACK_TIMER_H_ #define _HACK_TIMER_H_ -#include <cthreads.h> +#include <pthread.h> enum tstate { |