diff --git a/src/muz/dataflow/dataflow.cpp b/src/muz/dataflow/dataflow.cpp
new file mode 100644
index 000000000..95cd58b58
--- /dev/null
+++ b/src/muz/dataflow/dataflow.cpp
@@ -0,0 +1,25 @@
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+Module Name:
+
+    dataflow.cpp
+
+Abstract:
+
+    Generic bottom-up and top-down data-flow engine for analysis
+    of rule sets.
+
+Author:
+    Henning Guenther (t-hennig)
+
+--*/
+
+#include "dataflow.h"
+
+namespace datalog {
+
+    void dummy_dataflow() {
+        
+    }
+}