An unnecessary header removed
authoralpar
Thu, 05 May 2005 11:06:58 +0000
changeset 1403c479984e459d
parent 1402 655d8e78454d
child 1404 17c80cb3754b
An unnecessary header removed
src/benchmark/graph-bench.cc
     1.1 --- a/src/benchmark/graph-bench.cc	Thu May 05 11:05:25 2005 +0000
     1.2 +++ b/src/benchmark/graph-bench.cc	Thu May 05 11:06:58 2005 +0000
     1.3 @@ -1,4 +1,3 @@
     1.4 -#include<math.h>
     1.5  #include<lemon/list_graph.h>
     1.6  
     1.7  #include"bench_tools.h"