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;