schedule: use STL 'queue' instead of 'list'

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index b9388287c05d6d6d6900aefa5c1eda61fcd22bab..0dae851abe0325fb058759c9d1d44b53cc612cf8 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -6,7 +6,7 @@
 void DefaultScheduler::add_thread(struct thread *t)
 {
        DEBUG("thread %d\n", t->id);
-       queue.push_back(t);
+       queue.push(t);
 }
 
 struct thread *DefaultScheduler::next_thread(void)
@@ -15,7 +15,7 @@ struct thread *DefaultScheduler::next_thread(void)
                return NULL;
 
        current = queue.front();
-       queue.pop_front();
+       queue.pop();
 
        return current;
 }