From 9e7e9e55d907d68e0f37c85118ae78af41cc9398 Mon Sep 17 00:00:00 2001
From: "Ruben S. Montero" <rubensm@dacya.ucm.es>
Date: Sat, 24 Apr 2010 16:51:08 +0200
Subject: [PATCH] bug : minor memory leak for vms with multiple history records
 (cherry picked from commit 2de6db705e400bb0bd7465d50a36c10338d538a1)

---
 src/vm/VirtualMachine.cc | 5 +++++
 1 file changed, 5 insertions(+)

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;