diff --git a/Nef_3/include/CGAL/Nef_3/SNC_decorator_traits.h b/Nef_3/include/CGAL/Nef_3/SNC_decorator_traits.h
index 97d6159a464..fce8040e5db 100644
--- a/Nef_3/include/CGAL/Nef_3/SNC_decorator_traits.h
+++ b/Nef_3/include/CGAL/Nef_3/SNC_decorator_traits.h
@@ -37,9 +37,6 @@ class SNC_decorator_traits : public CGAL::SM_decorator_traits<Refs_> {
   typedef typename Refs::SHalfloop_handle SHalfloop_handle;
   typedef typename Refs::SFace_handle SFace_handle;
 
-  typedef typename Refs::Halffacet_triangle_handle
-    Halffacet_triangle_handle;
-
   typedef typename Refs::Vertex_iterator Vertex_iterator;
   typedef typename Refs::Halfedge_iterator Halfedge_iterator;
   typedef typename Refs::Halffacet_iterator Halffacet_iterator;
@@ -76,9 +73,6 @@ class SNC_decorator_const_traits {
   typedef typename Refs::SHalfloop_const_handle SHalfloop_handle;
   typedef typename Refs::SFace_const_handle SFace_handle;
 
-  typedef typename Refs::Halffacet_triangle_const_handle
-    Halffacet_triangle_handle;
-
   typedef typename Refs::Vertex_const_iterator Vertex_iterator;
   typedef typename Refs::Halfedge_const_iterator Halfedge_iterator;
   typedef typename Refs::Halffacet_const_iterator Halffacet_iterator;
diff --git a/Nef_3/include/CGAL/Nef_3/SNC_structure.h b/Nef_3/include/CGAL/Nef_3/SNC_structure.h
index 8daaf201993..65eb7b53adf 100644
--- a/Nef_3/include/CGAL/Nef_3/SNC_structure.h
+++ b/Nef_3/include/CGAL/Nef_3/SNC_structure.h
@@ -221,38 +221,6 @@ public:
   typedef Vertex_handle Constructor_parameter;
   typedef Vertex_const_handle Constructor_const_parameter;
 
-  // Halffacet triangle
-
-  class Halffacet_triangle_const_handle : public Halffacet_const_handle {
-    typedef Halffacet_const_handle Base;
-    Triangle_3 triangle;
-  public:
-    Halffacet_triangle_const_handle() : Base() {}
-    Halffacet_triangle_const_handle( Halffacet_const_handle h, Triangle_3& t) :
-      Base(h), triangle(t) {}
-    Triangle_3 get_triangle() { return triangle; }
-    void transform(const Aff_transformation_3& t) {
-      triangle = Triangle_3(triangle[0].transform(t),
-                                  triangle[1].transform(t),
-                              triangle[2].transform(t));
-    }
-  };
-
-  class Halffacet_triangle_handle : public Halffacet_handle {
-    typedef Halffacet_handle Base;
-    Triangle_3 triangle;
-  public:
-    Halffacet_triangle_handle() : Base() {}
-    Halffacet_triangle_handle( Halffacet_handle h, Triangle_3& t) :
-      Base(h), triangle(t) {}
-    Triangle_3 get_triangle() { return triangle; }
-    void transform(const Aff_transformation_3& t) {
-      triangle = Triangle_3(triangle[0].transform(t),
-                                  triangle[1].transform(t),
-                              triangle[2].transform(t));
-    }
-  };
-
   class Halffacet_cycle_iterator : public Object_iterator
   /*{\Mtypemember a generic handle to an object in the boundary
   of a facet. Convertible to |Object_handle|.}*/