diff options
Diffstat (limited to 'src/mixed_arena.h')
-rw-r--r-- | src/mixed_arena.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mixed_arena.h b/src/mixed_arena.h index 77aa052c1..28b2dd462 100644 --- a/src/mixed_arena.h +++ b/src/mixed_arena.h @@ -217,7 +217,7 @@ public: } template<typename ListType> - void set(ListType& list) { + void set(const ListType& list) { size_t size = list.size(); if (allocatedElements < size) { allocate(size); |