diff --git a/Alpha_shapes_3/examples/Alpha_shapes_3/visible_alpha_shape_facets_to_OFF.cpp b/Alpha_shapes_3/examples/Alpha_shapes_3/visible_alpha_shape_facets_to_OFF.cpp
index db9a7efe7be..d0adcf96b0b 100644
--- a/Alpha_shapes_3/examples/Alpha_shapes_3/visible_alpha_shape_facets_to_OFF.cpp
+++ b/Alpha_shapes_3/examples/Alpha_shapes_3/visible_alpha_shape_facets_to_OFF.cpp
@@ -95,8 +95,7 @@ int main()
     for (int i=1;i<4; ++i)
     {
       Alpha_shape_3::Vertex_handle vh = f.first->vertex((f.second+i)%4);
-      auto p = vids.insert( std::make_pair(vh, points.size()) );
-      if (p.second)
+      if (vids.insert( std::make_pair(vh, points.size()) ).second)
         points.push_back( vh->point() );
     }
   }