# HG changeset patch
# User jacint
# Date 1077542633 0
# Node ID 9d5a99b282c07eb2e0fe6db95c9d91aafd69a6dc
# Parent  576f55fec89e772da8a4a6c73e163ab254d31d57
include unistd

diff -r 576f55fec89e -r 9d5a99b282c0 src/work/marci/time_measure.h
--- a/src/work/marci/time_measure.h	Mon Feb 23 11:31:14 2004 +0000
+++ b/src/work/marci/time_measure.h	Mon Feb 23 13:23:53 2004 +0000
@@ -6,6 +6,7 @@
 #include <sys/times.h>
 #include <fstream>
 #include <iostream>
+#include <unistd.h>
 
 double currTime() {
   timeval tv;