diff -r 5c5d970ef2f0 -r 69bde1d90c04 src/hugo/dimacs.h --- a/src/hugo/dimacs.h Thu May 06 13:46:07 2004 +0000 +++ b/src/hugo/dimacs.h Thu May 06 13:48:04 2004 +0000 @@ -5,7 +5,7 @@ #include #include #include -#include +#include /// \file /// \brief Dimacs file format reader.