fix bad conversion on push back on some platforms

This commit is contained in:
Daniel Russel 2009-01-05 19:45:21 +00:00
parent 7b26494d30
commit ecf72f5db2
1 changed files with 1 additions and 1 deletions

View File

@ -817,7 +817,7 @@ public:
CGAL_precondition(k != Point_key());
unsigned int bin= k.index();
while (vhs_.size() <= bin) {
vhs_.push_back(NULL);
vhs_.push_back(Vertex_handle(NULL));
}
/*if (vhs_.size() <=bin){
vhs_.resize(bin+1);