From 8e4ef19f45380aec024a8835e13150928b5f6ebc Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 19 Feb 2019 10:54:41 +0000 Subject: [PATCH] fix debug build --- src/tactic/bv/elim_small_bv_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/bv/elim_small_bv_tactic.cpp b/src/tactic/bv/elim_small_bv_tactic.cpp index 9608ab0f7..256586896 100644 --- a/src/tactic/bv/elim_small_bv_tactic.cpp +++ b/src/tactic/bv/elim_small_bv_tactic.cpp @@ -92,7 +92,7 @@ class elim_small_bv_tactic : public tactic { TRACE("elim_small_bv", tout << "substitution: " << std::endl; for (unsigned k = 0; k < substitution.size(); k++) { - expr * se = substitution[k].get(); + expr * se = substitution[k]; tout << k << " = "; if (se == 0) tout << "0"; else tout << mk_ismt2_pp(se, m);