From 2924b1acc60b7d63c114a3da621dd670dce9e329 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 9 Nov 2013 14:51:44 +0000 Subject: [PATCH 1/3] fixed reference to _DEBUG --- src/util/mpn.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/mpn.h b/src/util/mpn.h index f995004c2..f8ae1eabf 100644 --- a/src/util/mpn.h +++ b/src/util/mpn.h @@ -101,7 +101,7 @@ private: bool div_n(mpn_sbuffer & numer, mpn_sbuffer const & denom, mpn_digit * quot, mpn_digit * rem); - #ifdef _DEBUG + #ifdef Z3DEBUG mutable char char_buf[4096]; bool trace_enabled; #endif From 7a718d4e07a20804f73c494d4b095fd9cf9c331a Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 9 Nov 2013 14:57:45 +0000 Subject: [PATCH 2/3] fixed tabs --- src/util/mpn.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/mpn.h b/src/util/mpn.h index f8ae1eabf..219368de3 100644 --- a/src/util/mpn.h +++ b/src/util/mpn.h @@ -101,7 +101,7 @@ private: bool div_n(mpn_sbuffer & numer, mpn_sbuffer const & denom, mpn_digit * quot, mpn_digit * rem); - #ifdef Z3DEBUG + #ifdef Z3DEBUG mutable char char_buf[4096]; bool trace_enabled; #endif From e1a6c5098d47385e4d68f2488cc0f45659046b86 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 11 Nov 2013 17:33:02 +0000 Subject: [PATCH 3/3] fixed memory leak Signed-off-by: Christoph M. Wintersteiger --- src/ast/ast.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 640bc7ceb..bdf1c18db 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -922,6 +922,7 @@ void basic_decl_plugin::finalize() { DEC_REF(m_and_decl); DEC_REF(m_or_decl); DEC_REF(m_not_decl); + DEC_REF(m_interp_decl); DEC_REF(m_iff_decl); DEC_REF(m_xor_decl); DEC_REF(m_implies_decl);