alloc K * Size

2013-10-01 16:42:12 +01:00
parent 1ebd0f1a13
commit bf77381744
2 changed files with 4 additions and 1 deletions
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -3242,7 +3242,7 @@ YAP_Reset(void)
 {
  CACHE_REGS
  int res = TRUE;
-#ifndef THREADS
+#if !defined(YAPOR) && !defined(THREADS)
  int worker_id = 0;
 #endif
  BACKUP_MACHINE_REGS();