tree 0463a2bc5868becddf1e01f9cecbcdf167c85e3d
parent 469bf392ad73e38dd23c03867269ede220e69d4a
author Sameer Agarwal <sameeragarwal@google.com> 1339796187 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1339796187 -0700

Trust region strategy destructor is not virtual.

Thanks to Markus Moll for reporting this.

Change-Id: I8b7c8fa6b16a5127a2674acddb804ec5f45455ce