change some obsolete KDAlloc comments

- mappings were only shared in a former version of KDAlloc
- `AllocationFactory(std::size_t, std::uint32_t)`'s second parameter is
  used for quarantine size, not the location of the mapping

1 files changed, 2 insertions, 1 deletions

diff --git a/include/klee/KDAlloc/allocator.h b/include/klee/KDAlloc/allocator.h
index f59223ed..c4461b79 100644
--- a/include/klee/KDAlloc/allocator.h
+++ b/include/klee/KDAlloc/allocator.h
@@ -29,7 +29,8 @@
 #include <type_traits>
 
 namespace klee::kdalloc {
-/// Wraps a mapping that is shared with other allocators.
+/// Wraps a mapping and delegates allocation to one of 8 sized-bin slot
+/// allocators (size < 4096) or a large object allocator (size >= 4096).
 class Allocator final : public TaggedLogger<Allocator> {
 public:
   class Control final {