From d3dc039ddce0c701f302f8386a366ebf129997d9 Mon Sep 17 00:00:00 2001 From: vsc Date: Mon, 2 Dec 2002 18:12:58 +0000 Subject: [PATCH] fix documentation for eraseall git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@712 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/yap.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/yap.tex b/docs/yap.tex index 835068a3d..509c4d65a 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -4994,12 +4994,12 @@ with its most general instance. If @var{R} refers to an unit clause @var{R} is not a reference to an existing clause or to a recorded term, this goal fails. -@item eraseall(+@var{R}) +@item eraseall(+@var{K}) @findex eraseall/1 @snindex eraseall/1 @cnindex eraseall/1 -All terms referred to by @var{R} are erased from the internal -database. If reference @var{R} does not exist in the database, +All terms belonging to the key @code{K} are erased from the internal +database. The predicate always succeeds. @code{eraseall} just fails. @item current_key(@var{A},@var{P})