diff -r 6874df3f61db -r 75d36edc6bc4 src/benchmark/bench_tools.h
--- a/src/benchmark/bench_tools.h	Wed Jul 21 07:01:14 2004 +0000
+++ b/src/benchmark/bench_tools.h	Wed Jul 21 07:03:20 2004 +0000
@@ -3,6 +3,9 @@
 #define HUGO_BENCH_TEST_H
 
 #include<vector>
+#include<iostream>
+
+#include<hugo/time_measure.h>
 
 ///An experimental typedef factory
 #define GRAPH_TYPEDEF_FACTORY(Graph) \
@@ -23,6 +26,8 @@
  
 
 ///A primitive primtest
+
+///\bug 2 is not a prime according to this function!
 bool isPrim(int n)
 {
   if(n%2) {
@@ -69,5 +74,13 @@
     }
 };
 
+inline void PrintTime(char *ID,hugo::Timer &T) 
+{
+  hugo::TimeStamp S(T);
+  std::cout << ID << ' ' << S.getUserTime() << ' '
+	    << S.getSystemTime() << ' ' << S.getRealTime() << std::endl;
+}
+
+  
 
 #endif