missing @item for YAP_RestartGoal

2011-12-05 19:51:57 +01:00 · 2011-12-05 19:51:57 +01:00 · 4d80c7c610
commit 4d80c7c610
parent d75cf3118a
1 changed files with 1 additions and 0 deletions
--- a/docs/yap.tex
+++ b/docs/yap.tex
@ -16741,6 +16741,7 @@ starting at @var{slot}.

 The following functions complement @var{YAP_RunGoal}:
@table @code
+@item  @code{int} YAP_RestartGoal(@code{void})
@findex YAP_RestartGoal (C-Interface function)
 Look for the next solution to the current query by forcing YAP to
 backtrack to the latest goal. Notice that slots allocated since the last