Ticket #7903: erase-last-one.diff

fibonacci_heap.hpp

@@ -715 +715 @@
 
     void consolidate(void)
     {
-        if (roots.empty())
+        if (roots.empty()) {
+            top_element = NULL;
             return;
+        }
 
         static const size_type max_log2 = sizeof(size_type) * 8;
         boost::array<node_pointer, max_log2> aux;