modeltypes: move to include/ dir, for now

[model-checker.git] / modeltypes.h

diff --git a/modeltypes.h b/modeltypes.h
deleted file mode 100644 (file)
index 22221cb..0000000
--- a/modeltypes.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef __MODELTYPES_H__
-#define __MODELTYPES_H__
-
-typedef int thread_id_t;
-
-#define THREAD_ID_T_NONE       -1
-
-typedef unsigned int modelclock_t;
-
-#endif /* __MODELTYPES_H__ */