diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
commit | 7eff5dfa38e016bb759a5daf5b0afef0a057eb47 (patch) | |
tree | fefe8fe44695328e580595fa7353049707672b56 /src/context/cdlist.h | |
parent | c8e9b1d6422b56476a2efb3fbaf19bce66de4c2b (diff) |
Fix for bug 45
Diffstat (limited to 'src/context/cdlist.h')
-rw-r--r-- | src/context/cdlist.h | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/context/cdlist.h b/src/context/cdlist.h index fd50d4149..e3c7e155c 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -138,15 +138,9 @@ public: * Destructor: delete the list */ ~CDList() throw(AssertionException) { - if(d_list != NULL) { - if(d_callDestructor) { - while(d_size != 0) { - --d_size; - d_list[d_size].~T(); - } - } - free(d_list); - } + T* list = d_list; + destroy(); + free(list); } /** |