diff -r b67149f0e675 -r a5d8c039f218 demo/graph_to_eps_demo.cc --- a/demo/graph_to_eps_demo.cc Mon Jul 14 15:40:24 2008 +0100 +++ b/demo/graph_to_eps_demo.cc Tue Jul 15 13:15:39 2008 +0200 @@ -31,7 +31,6 @@ /// \include graph_to_eps_demo.cc #include -#include #include #include