use AK_1::Bound instead of ArithK::Rational as Bound

This commit is contained in:
Eric Berberich 2010-06-29 07:32:36 +00:00
parent 061e81132c
commit 8465f28c7c
1 changed files with 1 additions and 1 deletions

View File

@ -88,7 +88,7 @@ public:
typedef typename Arithmetic_kernel::Integer Integer;
typedef typename Arithmetic_kernel::Rational Bound;
typedef typename Algebraic_kernel_d_1::Bound Bound;
typedef typename Arithmetic_kernel::Bigfloat_interval Bigfloat_interval;