diff -r f63e87b9748e -r 0ba8dfce7259 tools/dimacs-solver.cc --- a/tools/dimacs-solver.cc Tue Apr 21 10:34:49 2009 +0100 +++ b/tools/dimacs-solver.cc Tue Apr 21 13:08:19 2009 +0100 @@ -42,7 +42,7 @@ #include #include -#include +#include using namespace lemon; typedef SmartDigraph Digraph;