Don't double usertime.

Fixes issue #1.
davglass · Nov 11, 2011 · feda733 · feda733
1 parent f6626a6
commit feda733
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/getrusage.cc b/getrusage.cc
@@ -34,8 +34,6 @@ double getusertime(void) {
 
     tim = ru.ru_stime;
     double t=(double)tim.tv_sec + (double)tim.tv_usec / 1000000.0;
-    tim=ru.ru_stime;        
-    t+=(double)tim.tv_sec + (double)tim.tv_usec / 1000000.0;        
     return t;
 }