# HG changeset patch # User deba # Date 1109956420 0 # Node ID 477a0fe375527495d396fa772fc7de54a00c9763 # Parent 9203a299ce4e5f61dca5a2d9235848d6f1069a83 Bug fix diff -r 9203a299ce4e -r 477a0fe37552 src/lemon/dimacs.h --- a/src/lemon/dimacs.h Fri Mar 04 17:12:36 2005 +0000 +++ b/src/lemon/dimacs.h Fri Mar 04 17:13:40 2005 +0000 @@ -21,6 +21,7 @@ #include #include #include +#include /// \ingroup misc /// \file