aboutsummaryrefslogtreecommitdiffstats
path: root/awk.h
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2014-07-31 19:43:17 +0300
committerArnold D. Robbins <arnold@skeeve.com>2014-07-31 19:43:17 +0300
commite3f18c6702e67aabd90edea58a4edcc5d0495fdf (patch)
tree7dd3a6fabeaf5a09093de66977b1796e761a5883 /awk.h
parentb223339f5b27d7deb0cd7e45f6f50624990fb336 (diff)
parent825dd9a1839ca42c4ed6152de41515958e11660d (diff)
downloadegawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.tar.gz
egawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.tar.bz2
egawk-e3f18c6702e67aabd90edea58a4edcc5d0495fdf.zip
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'awk.h')
-rw-r--r--awk.h1
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);