From 753ad007ea3352fcbfc9e34336f278631a80fbaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Wed, 2 Mar 2011 09:16:11 +0000
Subject: [PATCH] ifdef unused function

---
 C/grow.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/C/grow.c b/C/grow.c
index 3161792ec..1ea1c078f 100755
--- a/C/grow.c
+++ b/C/grow.c
@@ -238,6 +238,7 @@ IncrementalCopyStacksFromWorker(void)
 	 (size_t) (LOCAL_end_trail_copy - LOCAL_start_trail_copy));
 }
 
+#ifndef TABLING
 static CELL
 worker_p_binding(int worker_p, CELL *aux_ptr)
 {
@@ -251,6 +252,7 @@ worker_p_binding(int worker_p, CELL *aux_ptr)
     return reg;
   }
 }
+#endif
 
 static void
 RestoreTrail(int worker_p)