Closed GoogleCodeExporter closed 9 years ago
operator=() assigns a pointer w/o deleting the previous pointer. ~Rule exists w/o deleting pointer
Original issue reported on code.google.com by Dahvid.Minor@gmail.com on 5 Feb 2012 at 12:24
Dahvid.Minor@gmail.com
Sorry, I missed this issue. In fact, the commit 236 fixes this issue. Perhaps you are using an old version of libELL ?
Original comment by samuel.h...@gmail.com on 12 Jun 2013 at 3:10
samuel.h...@gmail.com
Original issue reported on code.google.com by
Dahvid.Minor@gmail.com
on 5 Feb 2012 at 12:24