diff --git a/docs/yap.tex b/docs/yap.tex index c81e1f644..e60fa3747 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -15777,7 +15777,7 @@ runall(YAP_Term g) YAP_dogoalinfo goalInfo; YAP_Term *goalArgs = YAP_ArraysOfTerm(g); YAP_Functor *goalFunctor = YAP_FunctorOfTerm(g); - YAP_PredEntryPtr goalPred = YAP_FunctorToGoal(goalFunctor); + YAP_PredEntryPtr goalPred = YAP_FunctorToPred(goalFunctor); result = YAP_EnterGoal( goalPred, goalArgs, &goalInfo ); while (result)