From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 6 Jul 2012 07:39:00 +0000 (-0700)
Subject: add forgetten file
X-Git-Tag: pldi2013~387
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=a59176e8094c3a7ec272f70b7f9511f9061dd117;ds=sidebyside

add forgetten file
---

diff --git a/config.h b/config.h
new file mode 100644
index 0000000..31ae7a4
--- /dev/null
+++ b/config.h
@@ -0,0 +1,11 @@
+/** @file config.h
+ * @brief Configuration file.
+ */
+
+#ifndef CONFIG_H
+#define CONFIG_H
+/** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses */
+#define BIT48 1
+
+
+#endif