# HG changeset patch
# User deba
# Date 1130945164 0
# Node ID 98d83dd56c1dc44b769a8eea08a637fe04b51e4d
# Parent  dce1f28ac595b8be375c397cb6d56803fdeb1c32
Some change on the clear

diff -r dce1f28ac595 -r 98d83dd56c1d lemon/fib_heap.h
--- a/lemon/fib_heap.h	Wed Nov 02 15:25:13 2005 +0000
+++ b/lemon/fib_heap.h	Wed Nov 02 15:26:04 2005 +0000
@@ -116,9 +116,11 @@
     /// \brief Make empty this heap.
     /// 
     /// Make empty this heap.
-    void clear() { 
-      for (int i = 0; i < (int)container.size(); ++i) {
-	iimap[container[i].name] = -2;
+    void clear() {
+      if (num_items != 0) {
+	for (int i = 0; i < (int)container.size(); ++i) {
+	  iimap[container[i].name] = -2;
+	}
       }
       container.clear(); minimum = 0; num_items = 0;
     }