small sequential fixes

2012-12-11 22:15:02 +00:00
parent 63a5daa295
commit eb63cf748c
2 changed files with 8 additions and 5 deletions
--- 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 */