1 files changed, 3 insertions, 0 deletions
diff --git a/main.c b/main.c
index 7669daf4..abf0eb36 100644
--- a/main.c
+++ b/main.c
@@ -1808,6 +1808,9 @@ parse_args(int argc, char **argv)
 out:
 	do_optimize = (do_optimize && ! do_pretty_print);
 
+	if (using_persistent_malloc)
+		pma_mpfr_check();
+
 	return;
 }