From e7c9b2fccdb90657ad8b3d7e223ca13d4eb6b875 Mon Sep 17 00:00:00 2001
From: Jaeho Shin <netj@cs.stanford.edu>
Date: Sat, 13 Feb 2016 07:06:44 -0800
Subject: [PATCH] Fixes mindbender bug and adds notes about source having a
 source in spouse example

---
 examples/spouse/app.ddlog | 1 +
 util/mindbender           | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/spouse/app.ddlog b/examples/spouse/app.ddlog
index 1e7883b4f..a1f37577a 100644
--- a/examples/spouse/app.ddlog
+++ b/examples/spouse/app.ddlog
@@ -36,6 +36,7 @@ spouses_dbpedia(
 sentences(
     @key
     @distributed_by
+    # XXX This breaks the search index.  @source should not be derived from another @source
     #@references(relation="articles", column="id")
     doc_id         text,
     @key
diff --git a/util/mindbender b/util/mindbender
index 2e6abd5f2..f0a7c0663 160000
--- a/util/mindbender
+++ b/util/mindbender
@@ -1 +1 @@
-Subproject commit 2e6abd5f22accf27dcd45e0dbca2b40983be68c4
+Subproject commit f0a7c06638a865919de1177d4b76d9c3787c2233