0fde64b768bb2cb7f37efc943fca5c4a42b8e3ca
[model-checker.git] / threads_internal.h
1 #ifndef __THREADS_INTERNAL_H__
2 #define __THREADS_INTERNAL_H__
3
4 #include "model.h"
5 #include "libthreads.h"
6
7 int thread_switch_to_master(ModelAction *act);
8
9 #endif /* __THREADS_INTERNAL_H__ */