diff options
Diffstat (limited to 'docs/storage-mgt/rp.tex')
| -rw-r--r-- | docs/storage-mgt/rp.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/storage-mgt/rp.tex b/docs/storage-mgt/rp.tex index 96b0875120..2f83532893 100644 --- a/docs/storage-mgt/rp.tex +++ b/docs/storage-mgt/rp.tex @@ -508,7 +508,7 @@ set is created. Otherwise, a new retainer set is created. \item[@retainerSet *addElement(retainer r, retainerSet *rs)@] returns a retainer set @rs@ augmented with @r@. If such a retainer set already exists, no new retainer set is created. Otherwise, a new retainer set is created. -\item[@rtsBool isMember(retainer r, retainerSet *rs)@] returns a boolean value +\item[@bool isMember(retainer r, retainerSet *rs)@] returns a boolean value indicating whether @r@ is a member of @rs@. \item[@void printRetainerSetShort(FILE *, retainerSet *)@] prints a single retainer set. |