fix warning.
This commit is contained in:
parent
58943e4c26
commit
a097fdc38f
@ -371,6 +371,7 @@ static Int p_total_choicepoints(void)
|
|||||||
static Int p_reset_total_choicepoints(void)
|
static Int p_reset_total_choicepoints(void)
|
||||||
{
|
{
|
||||||
Yap_total_choicepoints = 0;
|
Yap_total_choicepoints = 0;
|
||||||
|
return TRUE;
|
||||||
}
|
}
|
||||||
|
|
||||||
static Int p_show_low_level_trace(void)
|
static Int p_show_low_level_trace(void)
|
||||||
|
Reference in New Issue
Block a user