From 769127d531aee87172037e15ac121f998371eafb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 29 Jun 2015 15:10:38 -0700
Subject: [PATCH] add dummy file to fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/dataflow/dataflow.cpp | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 src/muz/dataflow/dataflow.cpp

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() {
+        
+    }
+}