mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

eliminated unused variable

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-04 15:16:41 +01:00
parent 4857de6c81
commit fbac183e32
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/test/doc.cpp
View file

@ -181,7 +181,6 @@ class test_doc_cls {
expr_ref result(m); expr_ref result(m);
expr_ref_vector conjs(m); expr_ref_vector conjs(m);
unsigned n = m2.num_tbits(); unsigned n = m2.num_tbits();
tbv_manager& tm = m2.tbvm();
SASSERT(n <= m_vars.size()); SASSERT(n <= m_vars.size());
for (unsigned i = 0; i < n; ++i) { for (unsigned i = 0; i < n; ++i) {
switch (t[i]) { switch (t[i]) {