ifdef unused function

This commit is contained in:
Vítor Santos Costa 2011-03-02 09:16:11 +00:00
parent 282760de9c
commit 753ad007ea

View File

@ -238,6 +238,7 @@ IncrementalCopyStacksFromWorker(void)
(size_t) (LOCAL_end_trail_copy - LOCAL_start_trail_copy)); (size_t) (LOCAL_end_trail_copy - LOCAL_start_trail_copy));
} }
#ifndef TABLING
static CELL static CELL
worker_p_binding(int worker_p, CELL *aux_ptr) worker_p_binding(int worker_p, CELL *aux_ptr)
{ {
@ -251,6 +252,7 @@ worker_p_binding(int worker_p, CELL *aux_ptr)
return reg; return reg;
} }
} }
#endif
static void static void
RestoreTrail(int worker_p) RestoreTrail(int worker_p)