diff options
| -rw-r--r-- | Doc/lib/lib.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex index c8cb73b..56ae04f 100644 --- a/Doc/lib/lib.tex +++ b/Doc/lib/lib.tex @@ -125,6 +125,7 @@ and how to embed it in other applications. \input{librandom} \input{libwhrandom} \input{libbisect} +\input{libcollections} \input{libheapq} \input{libarray} \input{libsets} |