From eb63cf748c39211fab8696c589d650732d1e3074 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 11 Dec 2012 22:15:02 +0000
Subject: [PATCH] small sequential fixes

---
 C/c_interface.c |  3 +++
 C/sysbits.c     | 10 +++++-----
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/C/c_interface.c b/C/c_interface.c
index dfb9242de..78009ee86 100644
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -3295,6 +3295,9 @@ X_API int
 YAP_Reset(void)
 {
   CACHE_REGS
+#ifndef THREADS
+  int worker_id = 0;
+#endif
   BACKUP_MACHINE_REGS();
 
   /* first, backtrack to the root */
diff --git a/C/sysbits.c b/C/sysbits.c
index d2111f3b4..e46dd7399 100755
--- a/C/sysbits.c
+++ b/C/sysbits.c
@@ -377,16 +377,16 @@ InitTime (int wid)
 #else
   getrusage(RUSAGE_SELF, &rusage);
   last_time.tv_sec =
-    start_of_times.tv_sec = 
+    StartOfTimes.tv_sec = 
     rusage.ru_utime.tv_sec;
   last_time.tv_usec =
-    start_of_times.tv_usec = 
+    StartOfTimes.tv_usec = 
     rusage.ru_utime.tv_usec;
   last_time_sys.tv_sec =
-    start_of_times_sys.tv_sec = 
+    StartOfTimes_sys.tv_sec = 
     rusage.ru_stime.tv_sec;
   last_time_sys.tv_usec =
-    start_of_times_sys.tv_usec = 
+    StartOfTimes_sys.tv_usec = 
     rusage.ru_stime.tv_usec;  
 #endif
 }
@@ -488,7 +488,7 @@ InitTime (int)
       KernelTime.dwLowDateTime;
     (*REMOTE_ThreadHandle(wid).last_time_sysp).dwHighDateTime = 
       KernelTime.dwHighDateTime;
-    (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwLowDateTime =
+    (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwLowDateTime =
       KernelTime.dwLowDateTime;
     (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwHighDateTime = 
       KernelTime.dwHighDateTime;