src/misc/binaryheap.hpp
branchcpp_gui
changeset 6308 646711c5feaa
parent 5884 be0c8467aeb4
child 10429 1b99254f9607
equal deleted inserted replaced
6307:f40e88cff863 6308:646711c5feaa
     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;}