diff --git a/C/gprof.c b/C/gprof.c index bcf811821..b2b2288dd 100644 --- a/C/gprof.c +++ b/C/gprof.c @@ -732,9 +732,6 @@ search_pc_pred(yamop *pc_ptr,clauseentry *beg, clauseentry *end) { } } -extern void Yap_InitAbsmi(void); -extern int Yap_rational_tree_loop(CELL *pt0, CELL *pt0_end, CELL **to_visit0, CELL **to_visit_max); - static Int profend(void); static int diff --git a/H/Yapproto.h b/H/Yapproto.h index 685c5349e..2041f5541 100644 --- a/H/Yapproto.h +++ b/H/Yapproto.h @@ -346,6 +346,7 @@ void STD_PROTO(Yap_InitLowLevelTrace,(void)); void STD_PROTO(Yap_udi_init,(void)); /* unify.c */ +int STD_PROTO(Yap_rational_tree_loop, (CELL *, CELL *, CELL **, CELL **)); void STD_PROTO(Yap_InitAbsmi,(void)); void STD_PROTO(Yap_InitUnify,(void)); void STD_PROTO(Yap_TrimTrail,(void));