From 7e90b8c35d7b20a49d9dde8c1a02a96c601ef37b Mon Sep 17 00:00:00 2001
From: Pedro Machado Manhaes de Castro <Pedro.Machado@sophia.inria.fr>
Date: Mon, 31 Jul 2006 10:29:47 +0000
Subject: [PATCH] assertions

---
 .../internal_functions_on_roots_and_polynomials_1_3.h           | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Algebraic_kernel_for_spheres/include/CGAL/Algebraic_kernel_for_spheres/internal_functions_on_roots_and_polynomials_1_3.h b/Algebraic_kernel_for_spheres/include/CGAL/Algebraic_kernel_for_spheres/internal_functions_on_roots_and_polynomials_1_3.h
index 671169da0fb..b9af328f14d 100644
--- a/Algebraic_kernel_for_spheres/include/CGAL/Algebraic_kernel_for_spheres/internal_functions_on_roots_and_polynomials_1_3.h
+++ b/Algebraic_kernel_for_spheres/include/CGAL/Algebraic_kernel_for_spheres/internal_functions_on_roots_and_polynomials_1_3.h
@@ -29,6 +29,8 @@ namespace CGAL {
     typedef typename AK::RT RT;
     typedef typename AK::FT FT;
     typedef typename AK::Root_for_spheres_2_3 Root_for_spheres_2_3;
+    CGAL_kernel_precondition(!(same_solutions<FT>(e1,e2) || same_solutions<FT>(e1,e3) ||
+                               same_solutions<FT>(e2,e3)));
     const FT &a1 = e1.a();
     const FT &a2 = e2.a();
     const FT &a3 = e3.a();