Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 6933


Ignore:
Timestamp:
May 20, 2010, 2:40:53 PM (14 years ago)
Author:
scheusso
Message:

make sure this won't happen again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • code/branches/presentation3/src/orxonox/LevelManager.cc

    r6927 r6933  
    7070    void LevelManager::requestActivity(Level* level)
    7171    {
     72        assert( std::find(this->levels_s.begin(), this->levels_s.end(), level)==this->levels_s.end() );
    7273        if( std::find(this->levels_s.begin(), this->levels_s.end(), level)!=this->levels_s.end() )
    7374            return; // level is already in list
Note: See TracChangeset for help on using the changeset viewer.