From 62a4737d7725cf33e5ee1342152a9c255aa41ae8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Oct 2015 17:30:12 -0700
Subject: [PATCH] disable code in dl_query that depends on hard-wired file path

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/dl_query.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/dl_query.cpp b/src/test/dl_query.cpp
index ab5141b18..ae7313e41 100644
--- a/src/test/dl_query.cpp
+++ b/src/test/dl_query.cpp
@@ -212,6 +212,7 @@ void tst_dl_query() {
     //params.m_dl_default_relation = symbol("tr_hashtable");
 
     //dl_query_test_wpa(params);
+    return;
 
 
     ast_manager m;