From fbac183e32ec7e3aedc5f8c44eba544b6113abfd Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 4 Oct 2015 15:16:41 +0100
Subject: [PATCH] eliminated unused variable

---
 src/test/doc.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/doc.cpp b/src/test/doc.cpp
index b2863a629..331901734 100644
--- a/src/test/doc.cpp
+++ b/src/test/doc.cpp
@@ -181,7 +181,6 @@ class test_doc_cls {
         expr_ref result(m);
         expr_ref_vector conjs(m);
         unsigned n = m2.num_tbits();
-        tbv_manager& tm = m2.tbvm();
         SASSERT(n <= m_vars.size());
         for (unsigned i = 0; i < n; ++i) {
             switch (t[i]) {