# HG changeset patch
# User alpar
# Date 1115291218 0
# Node ID c479984e459d808d170c02a6359e097492f3052b
# Parent  655d8e78454d0638ee47c49bfbd01c1f1e863d77
An unnecessary header removed

diff -r 655d8e78454d -r c479984e459d src/benchmark/graph-bench.cc
--- a/src/benchmark/graph-bench.cc	Thu May 05 11:05:25 2005 +0000
+++ b/src/benchmark/graph-bench.cc	Thu May 05 11:06:58 2005 +0000
@@ -1,4 +1,3 @@
-#include<math.h>
 #include<lemon/list_graph.h>
 
 #include"bench_tools.h"