move libthreads.h -> include/threads.h

[model-checker.git] / libthreads.h

diff --git a/libthreads.h b/libthreads.h
deleted file mode 100644 (file)
index 8033a12..0000000
--- a/libthreads.h
+++ /dev/null
@@ -1,27 +0,0 @@
-/** @file libthreads.h
- *  @brief Basic Thread Library Functionality.
- */
-
-#ifndef __LIBTHREADS_H__
-#define __LIBTHREADS_H__
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-       typedef void (*thrd_start_t)(void *);
-
-       typedef int thrd_t;
-
-       int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
-       int thrd_join(thrd_t);
-       int thrd_yield(void);
-       thrd_t thrd_current(void);
-
-       int user_main(int, char**);
-
-#ifdef __cplusplus
-}
-#endif
-
-#endif /* __LIBTHREADS_H__ */