From 4d80c7c6109c9bd06bb0889c3f75ae9a7120081c Mon Sep 17 00:00:00 2001
From: Denys Duchier <denys.duchier@univ-orleans.fr>
Date: Mon, 5 Dec 2011 19:51:57 +0100
Subject: [PATCH] missing @item for YAP_RestartGoal

---
 docs/yap.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/yap.tex b/docs/yap.tex
index dea9938de..f36829186 100644
--- 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