diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-03-25 05:20:56 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-03-25 05:20:56 +0000 |
commit | ee36b95b8f722fe6501cc6ac635efd49ca673791 (patch) | |
tree | b6149a6b843b26b65db788d0cf3215dd68d53e79 /src/parser/smt2 | |
parent | 33239a85e160bcbdfa23b44e316065166e361af8 (diff) |
Fix for a bug Andrew Reynolds found for iterators that affects empty CDList<> objects that allocate from ContextMemoryAllocator<>. Iterators were broken in that begin() != end() for empty lists (again---only those that allocated space from ContextMemoryAllocator<>). Added a unit test for this, too. Thanks Andy!
Diffstat (limited to 'src/parser/smt2')
0 files changed, 0 insertions, 0 deletions