>>>>> "Kaveh" == Kaveh R GHAZI <[EMAIL PROTECTED]> writes:

Kaveh> +  mpfr_free_cache ();

Why not just add a valgrind suppression for this?
There's little point in freeing things just before exit.

Tom

Reply via email to