fix a missing fmpr_init

This commit is contained in:
Fredrik Johansson 2013-01-11 15:35:59 +01:00
parent 96733b7083
commit 7c7280243e

View file

@ -31,6 +31,8 @@ fmpr_close(const fmpr_t a, const fmpr_t b)
fmpr_t t; fmpr_t t;
int res1, res2; int res1, res2;
fmpr_init(t);
fmpr_mul_ui(t, b, 257, FMPRB_RAD_PREC, FMPR_RND_UP); fmpr_mul_ui(t, b, 257, FMPRB_RAD_PREC, FMPR_RND_UP);
fmpr_mul_2exp_si(t, t, -8); fmpr_mul_2exp_si(t, t, -8);
res1 = fmpr_cmp(a, t) <= 0; res1 = fmpr_cmp(a, t) <= 0;