diff --git a/src/vm/VirtualMachine.cc b/src/vm/VirtualMachine.cc index d486fdb1b0..22d5f11f64 100644 --- a/src/vm/VirtualMachine.cc +++ b/src/vm/VirtualMachine.cc @@ -62,6 +62,11 @@ VirtualMachine::~VirtualMachine() delete history; } + if ( previous_history != 0 ) + { + delete previous_history; + } + if ( _log != 0 ) { delete _log;