changeset 542 | 69bde1d90c04 |
parent 539 | fb261e3a9a0f |
child 549 | 5531429143bc |
1.1 --- a/src/hugo/dimacs.h Thu May 06 13:46:07 2004 +0000 1.2 +++ b/src/hugo/dimacs.h Thu May 06 13:48:04 2004 +0000 1.3 @@ -5,7 +5,7 @@ 1.4 #include <iostream> 1.5 #include <string> 1.6 #include <vector> 1.7 -#include <maps.h> 1.8 +#include <hugo/maps.h> 1.9 1.10 /// \file 1.11 /// \brief Dimacs file format reader.