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