diff --git a/C/tracer.c b/C/tracer.c
index 1405977c2..1e677b09c 100755
--- a/C/tracer.c
+++ b/C/tracer.c
@@ -371,6 +371,7 @@ static Int p_total_choicepoints(void)
 static Int p_reset_total_choicepoints(void)
 {
   Yap_total_choicepoints = 0;
+  return TRUE;
 }
 
 static Int p_show_low_level_trace(void)