1 files changed, 5 insertions, 0 deletions
diff --git a/main.c b/main.c
index d8acedaa..7f1595b8 100644
--- a/main.c
+++ b/main.c
@@ -754,6 +754,11 @@ out:
 	if (do_dump_vars)
 		dump_vars(varfile);
 
+#ifdef HAVE_MPFR
+	if (do_mpfr)
+		cleanup_mpfr();
+#endif
+
 	if (do_tidy_mem)
 		release_all_vars();