1 files changed, 1 insertions, 0 deletions
diff --git a/awk.h b/awk.h
index dd5bbe04..c964ad19 100644
--- a/awk.h
+++ b/awk.h
@@ -1570,6 +1570,7 @@ extern NODE *do_mpfr_srand(int);
 extern NODE *do_mpfr_strtonum(int);
 extern NODE *do_mpfr_xor(int);
 extern void init_mpfr(mpfr_prec_t, const char *);
+extern void cleanup_mpfr(void);
 extern NODE *mpg_node(unsigned int);
 extern const char *mpg_fmt(const char *, ...);
 extern int mpg_strtoui(mpz_ptr, char *, size_t, char **, int);