diff -r e560867cbe79 -r 1b4a25e49222 src/work/marci/time_measure.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/work/marci/time_measure.h	Fri Feb 13 15:57:22 2004 +0000
@@ -0,0 +1,14 @@
+// -*- c++ -*-
+#ifndef TIME_MEASURE_H
+#define TIME_MEASURE_H
+
+#include <sys/time.h>
+
+double currTime() {
+  timeval tv;
+  //timezone tz;
+  gettimeofday(&tv, 0);
+  return double(tv.tv_sec)+double(tv.tv_usec)/1000000.0;
+}
+
+#endif //TIME_MEASURE_H