Slight syntax change.

diff --git a/src/Objects/fragment.hxx b/src/Objects/fragment.hxx
index 14809a393261a139a5448fc224fd238572270141..d31790cde64ad8299723c8bfc72a4ee9f6b75736 100644 (file)
--- a/src/Objects/fragment.hxx
+++ b/src/Objects/fragment.hxx
@@ -150,7 +150,7 @@ public:
     }
 
     void init() {
-       faces.erase( faces.begin(), faces.end() );
+       faces.clear();
     }
 
     // int deleteDisplayList() {