From 5d91d55671033d7dc16066b9df6186410b0396c3 Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Mon, 1 Dec 2025 19:59:27 +0000 Subject: [PATCH] fix: call `delete []` on array allocations --- src/runtime/mpz.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/mpz.cpp b/src/runtime/mpz.cpp index 174b12c11263..62bd0ab7bf7a 100644 --- a/src/runtime/mpz.cpp +++ b/src/runtime/mpz.cpp @@ -304,7 +304,7 @@ void display(std::ostream & out, __mpz_struct const * v) { mpz_get_str(buffer, 10, v); out << buffer; } else { - std::unique_ptr buffer(new char[sz]); + std::unique_ptr buffer(new char[sz]); mpz_get_str(buffer.get(), 10, v); out << buffer.get(); }