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