diff -r 7ac52d6a268e -r d657c71db7db tools/dimacs-solver.cc --- a/tools/dimacs-solver.cc Fri Apr 17 09:54:14 2009 +0200 +++ b/tools/dimacs-solver.cc Fri Apr 17 09:58:50 2009 +0200 @@ -42,7 +42,7 @@ #include #include -#include +#include using namespace lemon; typedef SmartDigraph Digraph;