From: "Tom Tromey" <[EMAIL PROTECTED]>
"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
A valgrind suppression only silences the error for valgrind. What if someone uses another memory checking tool? Better to fix it for real IMHO.
--Kaveh -- Kaveh R. Ghazi