diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-27 20:37:17 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-27 20:37:17 +0000 |
| commit | e01477b5478828aa9ab0798835128b378574ce72 (patch) | |
| tree | b2cfd10610bbdf55e9fe93c5d01f871d46ef3316 /src/options | |
| parent | 58c511a607a7a3560590b49f17ee3e92b364dbcf (diff) | |
fix a destruction-order issue that was (1) causing valgrind to complain loudly about invalid reads and writes, and (2) apparently causing problems deleting the decision engine (which is now being properly deleted)
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions