From 93d52e994ccf5597413180c5a3c401286112891d Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 7 May 2001 23:02:25 +0000
Subject: mix_device_t: virtual destructor added

---
 mixlib/mix_vm.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'mixlib/mix_vm.c')

diff --git a/mixlib/mix_vm.c b/mixlib/mix_vm.c
index 39b3e6f..4446bcf 100644
--- a/mixlib/mix_vm.c
+++ b/mixlib/mix_vm.c
@@ -57,6 +57,12 @@ vm_reset_ (mix_vm_t *vm)
       mix_src_file_delete (vm->src_file);
       vm->src_file = NULL;
     }
+  for (k = 0; k < BD_NO_; ++k)
+    if (vm->devices[k] != NULL)
+      {
+	mix_device_delete (vm->devices[k]);
+	vm->devices[k] = NULL;
+      }
   bp_clear_all_ (vm);
 }
 
-- 
cgit v1.2.3