src/misc/binaryheap.hpp
branchgamebalance
changeset 9909 dce9a6923bb7
parent 5884 be0c8467aeb4
child 10429 1b99254f9607
equal deleted inserted replaced
9908:0fa543611bbe 9909:dce9a6923bb7
     1 /* $Id$ */
     1 /* $Id$ */
       
     2 
       
     3 /** @file binaryheap.hpp */
     2 
     4 
     3 #ifndef  BINARYHEAP_HPP
     5 #ifndef  BINARYHEAP_HPP
     4 #define  BINARYHEAP_HPP
     6 #define  BINARYHEAP_HPP
     5 
     7 
     6 //void* operator new (size_t size, void* p) {return p;}
     8 //void* operator new (size_t size, void* p) {return p;}