Bug in GMP 4.1.2 mpfrxx.h?

[Derrick Bass]

I was trying to compile a project using one of the gcc-3.4 snapshots 
and got the following error message:
/newman/user2/derrick/gnu/gcc-3.4-20030806/include/mpfrxx.h: In 
function `void
   __gmp_set_expr(__mpfr_struct*, const __gmp_expr<__gmpf_value, T>&)':
/newman/user2/derrick/gnu/gcc-3.4-20030806/include/mpfrxx.h:484: error: 
'class
   mpq_class' has no member named 'get_mpf_t'

The function being complained about reads:
template <class T>
inline void __gmp_set_expr
(mpfr_ptr f, const __gmp_expr<__gmpf_value, T> &expr)
{
  mpq_class temp(expr);
  mpfr_set_f(f, temp.get_mpf_t(), __gmp_default_rounding_mode);
}

I think that should instead be
template <class T>
inline void __gmp_set_expr
(mpfr_ptr f, const __gmp_expr<__gmpf_value, T> &expr)
{
  mpf_class temp(expr);
  mpfr_set_f(f, temp.get_mpf_t(), __gmp_default_rounding_mode);
}

Is that right?

Derrick Bass