fix missing header for Yap_rational_tree_loop
This commit is contained in:
parent
f7214090cb
commit
832f3d2e4a
@ -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
|
||||
|
@ -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));
|
||||
|
Reference in New Issue
Block a user