diff -r 6bc65a8a99c6 -r 9222a9b8b323 src/work/jacint/fib_heap.h
--- a/src/work/jacint/fib_heap.h	Fri Mar 19 21:15:14 2004 +0000
+++ b/src/work/jacint/fib_heap.h	Fri Mar 19 22:16:05 2004 +0000
@@ -143,11 +143,22 @@
     }
     
 
+
+
+    PrioType& operator[](const Item& it) const {
+      return container[iimap.get(it)].prio;
+    }
+    
+    const PrioType& operator[](const Item& it) const {
+      return container[iimap.get(it)].prio;
+    }
+
     const PrioType get(const Item& it) const {
       return container[iimap.get(it)].prio;
     }
 
 
+
     void pop() {
       /*The first case is that there are only one root.*/
       if ( container[minimum].left_neighbor==minimum ) {