diff --git a/Convex_hull_3/include/CGAL/Convex_hull_3/dual/halfspace_intersection_3.h b/Convex_hull_3/include/CGAL/Convex_hull_3/dual/halfspace_intersection_3.h
index 250dfa0d08c..cc048d6ae07 100644
--- a/Convex_hull_3/include/CGAL/Convex_hull_3/dual/halfspace_intersection_3.h
+++ b/Convex_hull_3/include/CGAL/Convex_hull_3/dual/halfspace_intersection_3.h
@@ -215,7 +215,6 @@ namespace CGAL
             bool is_intersection_dim_3 (PlaneIterator begin,
                                         PlaneIterator end) {
                 typedef typename std::iterator_traits<PlaneIterator>::value_type Plane;
-                typedef typename Kernel_traits<Plane>::Kernel Kernel;
 
                 std::list<Plane> planes(begin, end);