diff --git a/Triangulation/include/CGAL/IO/Triangulation_off_ostream.h b/Triangulation/include/CGAL/IO/Triangulation_off_ostream.h
index d6333d4e6d4..701f08202cd 100644
--- a/Triangulation/include/CGAL/IO/Triangulation_off_ostream.h
+++ b/Triangulation/include/CGAL/IO/Triangulation_off_ostream.h
@@ -207,9 +207,7 @@ export_triangulation_to_off(std::ostream & os,
 {
   typedef Triangulation<GT,TDS>                         Tr;
   typedef typename Tr::Vertex_const_handle              Vertex_handle;
-  typedef typename Tr::Vertex_const_iterator            Vertex_iterator;
   typedef typename Tr::Finite_vertex_const_iterator     Finite_vertex_iterator;
-  typedef typename Tr::Full_cell_const_handle           Full_cell_handle;
   typedef typename Tr::Finite_full_cell_const_iterator  Finite_full_cell_iterator;
   typedef typename Tr::Full_cell_const_iterator         Full_cell_iterator;
   typedef typename Tr::Full_cell                        Full_cell;
diff --git a/Triangulation/include/CGAL/Triangulation.h b/Triangulation/include/CGAL/Triangulation.h
index 49170a62380..906df92e004 100644
--- a/Triangulation/include/CGAL/Triangulation.h
+++ b/Triangulation/include/CGAL/Triangulation.h
@@ -919,7 +919,6 @@ Triangulation<TT, TDS>
     // infinite one...
     CGAL_precondition( is_infinite(s) );
     CGAL_precondition( 1 == current_dimension() );
-    int inf_v_index = s->index(infinite_vertex());
     Vertex_handle v = tds().insert_in_full_cell(s);
     v->set_point(p);
     return v;