Use CGAL_precondition_code() to avoid warning.

This commit is contained in:
Sylvain Pion 2007-04-16 16:43:46 +00:00
parent 418950e953
commit e83ce7bf2c
1 changed files with 1 additions and 1 deletions

View File

@ -406,7 +406,7 @@ class Algebraic_structure_traits_base< Type_, Field_tag >
const Type& y) const {
typedef Algebraic_structure_traits<Type> AST;
typedef typename AST::Is_exact Is_exact;
bool ie = Is_exact::value;
CGAL_precondition_code( bool ie = Is_exact::value; )
CGAL_precondition_msg( !ie || (x / y) * y == x,
"'x' must be divisible by 'y' in "
"Algebraic_structure_traits<...>::Integral_div()(x,y)" );