src/core/object-vector.cc
changeset 2933 c7983cfa2cb3
parent 2599 fcc1728eb669
child 2947 b0fec3381418
equal deleted inserted replaced
2932:db96af55f46e 2933:c7983cfa2cb3
   100       v->m_vector.m_objects.push_back (o);
   100       v->m_vector.m_objects.push_back (o);
   101     }
   101     }
   102   return true;
   102   return true;
   103 }
   103 }
   104 
   104 
   105 ATTRIBUTE_CHECKER_IMPLEMENT (ObjectVector);
       
   106 
       
   107 } // name
   105 } // name