add forgetten file

[model-checker.git] / config.h

diff --git a/config.h b/config.h
new file mode 100644 (file)
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