Re: [PATCH] [RFC] RAII auto_mpfr and autp_mpz

[Jakub Jelinek via Gcc-patches]

On Mon, Mar 06, 2023 at 11:01:18AM +0000, Richard Biener wrote:
> +  auto_mpfr &operator=(const auto_mpfr &) = delete;
> +  auto_mpz &operator=(const auto_mpz &) = delete;

Just formatting nit, space before (.

Looks like nice improvement and thanks Jonathan for the suggestions ;)

        Jakub