From: Brian Norris <banorris@uci.edu>
Date: Fri, 12 Oct 2012 17:24:18 +0000 (-0700)
Subject: modeltypes: move to include/ dir, for now
X-Git-Tag: pldi2013~47
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=852aef750eeaba905369a435bcc2858f95515709

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