diff -r 18c24fe93b99 -r d93c034d3c98 benchmark/edge_lookup.cc
--- a/benchmark/edge_lookup.cc	Thu Oct 12 11:53:31 2006 +0000
+++ b/benchmark/edge_lookup.cc	Thu Oct 12 11:54:30 2006 +0000
@@ -74,22 +74,22 @@
   
 };
 
-class EL4
-{
-public:
-  Graph &_g;
-  EdgeLookUp4<Graph> _el;
-  EL4(Graph &g) :_g(g), _el(g) {}
-  void operator()() 
-  {
-    Edge e;
+// class EL4
+// {
+// public:
+//   Graph &_g;
+//   EdgeLookUp4<Graph> _el;
+//   EL4(Graph &g) :_g(g), _el(g) {}
+//   void operator()() 
+//   {
+//     Edge e;
     
-    for(NodeIt v(_g);v!=INVALID;++v)
-      for(NodeIt u(_g);u!=INVALID;++u)
-	e=_el(u,v);
-  }
+//     for(NodeIt v(_g);v!=INVALID;++v)
+//       for(NodeIt u(_g);u!=INVALID;++u)
+// 	e=_el(u,v);
+//   }
   
-};
+// };
 
 int main(int, char**argv)
 {
@@ -125,12 +125,13 @@
   TimeStamp t2 = runningTimeTest(EL(g),1);
   TimeStamp t3 = runningTimeTest(EL2(g),1);
   TimeStamp t4 = runningTimeTest(EL3(g),1);
-  TimeStamp t5 = runningTimeTest(EL4(g),1);
+//   TimeStamp t5 = runningTimeTest(EL4(g),1);
 
   std::cout << t1.userTime()/N/N << ' ' 
 	    << t2.userTime()/N/N << ' '
 	    << t3.userTime()/N/N << ' '
 	    << t4.userTime()/N/N << ' '
-	    << t5.userTime()/N/N << std::endl;
+// 	    << t5.userTime()/N/N
+	    << std::endl;
 }