diff --git a/Number_types/include/CGAL/Sqrt_extension/Sqrt_extension_type.h b/Number_types/include/CGAL/Sqrt_extension/Sqrt_extension_type.h index fd94d82dc34..e5c5ec41246 100644 --- a/Number_types/include/CGAL/Sqrt_extension/Sqrt_extension_type.h +++ b/Number_types/include/CGAL/Sqrt_extension/Sqrt_extension_type.h @@ -267,10 +267,12 @@ public: { if (! is_extended_) return CGAL_NTS to_interval(a0_); - CGAL::Interval_nt::Protector p; + const CGAL::Interval_nt& a0_int = CGAL_NTS to_interval(a0_); const CGAL::Interval_nt& a1_int = CGAL_NTS to_interval(a1_); const CGAL::Interval_nt& root_int = CGAL_NTS to_interval(root_); + + CGAL::Interval_nt::Protector p; const CGAL::Interval_nt& x_int = a0_int + (a1_int * CGAL::sqrt(root_int));