From 8c2cd1284a1f1022066fdc223ea5e68968802184 Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Wed, 2 Sep 1998 14:37:08 +0000
Subject: [PATCH] Use erase() instead of while ( size() ) pop_front();

---
 Scenery/tile.cxx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Scenery/tile.cxx b/Scenery/tile.cxx
index 7e274edf8..1837a13b7 100644
--- a/Scenery/tile.cxx
+++ b/Scenery/tile.cxx
@@ -409,10 +409,7 @@ fgFRAGMENT::~fgFRAGMENT ( void ) {
 
     // printf("destructing a fragment with %d faces\n", faces.size());
 
-    while ( faces.size() ) {
-	//  printf("emptying face list\n");
-	faces.pop_front();
-    }
+    faces.erase( faces.begin(), faces.end() );
 }
 
 
@@ -452,6 +449,9 @@ fgTILE::~fgTILE ( void ) {
 
 
 // $Log$
+// Revision 1.11  1998/09/02 14:37:08  curt
+// Use erase() instead of while ( size() ) pop_front();
+//
 // Revision 1.10  1998/08/25 16:52:42  curt
 // material.cxx material.hxx obj.cxx obj.hxx texload.c texload.h moved to
 //   ../Objects
-- 
2.39.2