src/work/jacint/prim.cc
changeset 258 94bafec4f56f
parent 220 7deda4d6a07a
child 921 818510fa3d99
     1.1 --- a/src/work/jacint/prim.cc	Mon Mar 29 10:25:23 2004 +0000
     1.2 +++ b/src/work/jacint/prim.cc	Mon Mar 29 11:08:59 2004 +0000
     1.3 @@ -7,7 +7,7 @@
     1.4  #include <prim.h>
     1.5  #include <time_measure.h>
     1.6  
     1.7 -#include <bin_heap.hh>
     1.8 +#include <bin_heap.h>
     1.9  #include <fib_heap.h>
    1.10  
    1.11  using namespace hugo;