diff -r 32e4bebee616 -r 33db14058543 demo/coloring.cc
--- a/demo/coloring.cc	Tue Apr 04 17:43:23 2006 +0000
+++ b/demo/coloring.cc	Tue Apr 04 17:45:35 2006 +0000
@@ -30,7 +30,7 @@
 #include <iostream>
 
 #include <lemon/smart_graph.h>
-#include <lemon/linear_heap.h>
+#include <lemon/bucket_heap.h>
 #include <lemon/graph_reader.h>
 #include <lemon/graph_to_eps.h>
 
@@ -63,7 +63,7 @@
   Graph::NodeMap<int> color(graph, -2);
   
   Graph::NodeMap<int> heapMap(graph, -1);
-  LinearHeap<Node, Graph::NodeMap<int> > heap(heapMap);
+  BucketHeap<Node, Graph::NodeMap<int> > heap(heapMap);
   
   for (NodeIt it(graph); it != INVALID; ++it) {
     heap.push(it, countOutEdges(graph, it));