From aac50873fe67448f85be2859f6f82bf60689a7eb Mon Sep 17 00:00:00 2001 From: Daniel Selsam Date: Tue, 1 Dec 2015 10:11:05 -0800 Subject: [PATCH] fix(library/num): fix memory leak --- src/library/num.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/num.cpp b/src/library/num.cpp index bbd8656fac..ac462c4167 100644 --- a/src/library/num.cpp +++ b/src/library/num.cpp @@ -44,7 +44,7 @@ optional is_bit1(expr const & e) { } optional is_neg(expr const & e) { - if (!is_const_app(e, *new name("neg"), 3)) + if (!is_const_app(e, get_neg_name(), 3)) return none_expr(); return some_expr(app_arg(e)); }