modeltypes: move to include/ dir, for now

The <mutex> header uses some small amount of private model-checker
information, so just move the common typedefs to our external include/
directory.

diff --git a/include/modeltypes.h b/include/modeltypes.h
new file mode 100644 (file)
index 0000000..22221cb
--- /dev/null
+++ b/include/modeltypes.h
@@ -0,0 +1,10 @@
+#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__ */

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__ */