without threads

2014-03-06 14:07:33 +00:00
parent 47d436fc13
commit f257efc2ef
3 changed files with 39 additions and 4 deletions
--- a/C/tracer.c
+++ b/C/tracer.c
@@ -428,7 +428,9 @@ static Int p_stop_low_level_trace( USES_REGS1 )
 {
  Yap_do_low_level_trace = FALSE;
  LOCAL_do_trace_primitives = TRUE;
+#if DEBUG_LOCKS
  debug_locks = TRUE;
+#endif
  return(TRUE);
 }