From c78a210afc1ac274123d0f755cc79ee5d916eff7 Mon Sep 17 00:00:00 2001 From: stasinos Date: Sat, 7 Apr 2007 08:34:48 +0000 Subject: [PATCH] fixed typo git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1864 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/clpr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/clpr.tex b/docs/clpr.tex index 48715c57b..9d3d9e6c0 100644 --- a/docs/clpr.tex +++ b/docs/clpr.tex @@ -69,7 +69,7 @@ this case). @var{Eps} should be between 0 and 0.5. The same as bb_inf/5 but without returning the values of the integers and with an eps of 0.001. - @item bb_inf(+@var{Target},+@var{Newvars},-@var{CodedAnswer}) + @item dump(+@var{Target},+@var{Newvars},-@var{CodedAnswer}) Returns the constraints on @var{Target} in the list @var{CodedAnswer} where all variables of @var{Target} have veen replaced by @var{NewVars}. This operation does not change the constraint store. E.g. in