--- a/src/simulator/scheduler-list.h	Mon Sep 04 15:24:05 2006 +0200
+++ b/src/simulator/scheduler-list.h	Mon Sep 04 15:37:32 2006 +0200
@@ -37,14 +37,15 @@
 	SchedulerList ();
 	virtual ~SchedulerList ();
 
-	virtual EventId insert (EventImpl *event, EventKey key);
-	virtual bool is_empty (void) const;
-	virtual EventImpl *peek_next (void) const;
-	virtual Scheduler::EventKey peek_next_key (void) const;
-	virtual void remove_next (void);
-	virtual EventImpl *remove (EventId ev, Scheduler::EventKey *key);
-	virtual bool is_valid (EventId id);
  private:
+	virtual EventId real_insert (EventImpl *event, EventKey key);
+	virtual bool real_is_empty (void) const;
+	virtual EventImpl *real_peek_next (void) const;
+	virtual Scheduler::EventKey real_peek_next_key (void) const;
+	virtual void real_remove_next (void);
+	virtual EventImpl *real_remove (EventId ev, Scheduler::EventKey *key);
+	virtual bool real_is_valid (EventId id);
+
 	typedef std::list<std::pair<EventImpl*, EventKey> > Events;
 	typedef std::list<std::pair<EventImpl*, EventKey> >::iterator EventsI;
 	EventId get_event_id (Scheduler::EventKey key, EventsI i);