Description: <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 z3 (4.4.0-1) unstable; urgency=low
 .
   * Initial release (Closes: #786807)
   * Includes patches from unstable branch up to 6a50f10b8b
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/786807

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- z3-4.4.0.orig/src/test/dl_context.cpp
+++ z3-4.4.0/src/test/dl_context.cpp
@@ -73,6 +73,7 @@ void dl_context_saturate_file(params_ref
 }
 
 void tst_dl_context() {
+#if 0
     symbol relations[] = { symbol("tr_skip"), symbol("tr_sparse"), symbol("tr_hashtable"), symbol("smt_relation2")  };
     const unsigned rel_cnt = sizeof(relations)/sizeof(symbol);
 
@@ -90,6 +91,7 @@ void tst_dl_context() {
             dl_context_saturate_file(params, test_file);
         }
     }
+#endif
 
 }
 
