--- a/src/simulator/simulator.cc Thu May 24 16:12:20 2007 +0200
+++ b/src/simulator/simulator.cc Thu May 24 16:15:41 2007 +0200
@@ -298,20 +298,20 @@
void Simulator::SetLinkedList (void)
{
- Bind ("scheduler", "list");
+ Bind ("Scheduler", "List");
}
void Simulator::SetBinaryHeap (void)
{
- Bind ("scheduler", "BinaryHeap");
+ Bind ("Scheduler", "BinaryHeap");
}
void Simulator::SetStdMap (void)
{
- Bind ("scheduler", "map");
+ Bind ("Scheduler", "Map");
}
void
Simulator::SetExternal (const std::string &external)
{
- Bind ("scheduler", external);
+ Bind ("Scheduler", external);
}
void Simulator::EnableLogTo (char const *filename)
{