diff src/ov.h @ 6338:ec88b4ab6d10

[project @ 2007-02-22 07:07:19 by jwe]
author jwe
date Thu, 22 Feb 2007 07:07:20 +0000
parents a6cc01dd09f9
children 952c8b00525e
line wrap: on
line diff
--- a/src/ov.h	Thu Feb 22 07:03:51 2007 +0000
+++ b/src/ov.h	Thu Feb 22 07:07:20 2007 +0000
@@ -239,7 +239,11 @@
   // Delete the representation of this constant if the count drops to
   // zero.
 
-  ~octave_value (void);
+  ~octave_value (void)
+  {
+    if (--rep->count == 0)
+      delete rep;
+  }
 
   void make_unique (void)
     {