scanalysis: fixup spacing
[model-checker.git] / context.h
1 /**
2  * @file context.h
3  * @brief ucontext header, since Mac OSX swapcontext() is broken
4  */
5
6 #ifndef __CONTEXT_H__
7 #define __CONTEXT_H__
8
9 #include <ucontext.h>
10
11 #ifdef MAC
12
13 int model_swapcontext(ucontext_t *oucp, ucontext_t *ucp);
14
15 #else /* !MAC */
16
17 static inline int model_swapcontext(ucontext_t *oucp, ucontext_t *ucp)
18 {
19         return swapcontext(oucp, ucp);
20 }
21
22 #endif /* !MAC */
23
24 #endif /* __CONTEXT_H__ */