From b8b4aa72c59966c4e1351cc3a877a4416240fbfe Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 15 Feb 2011 14:06:54 +0100
Subject: [PATCH] Plug a memory leak in randltl.

* src/ltlvisit/randomltl.hh (random_formula::~random_formula):
Declare as virtual.
---
 src/ltlvisit/randomltl.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/randomltl.hh b/src/ltlvisit/randomltl.hh
index 0c12484fc..f153b3e4d 100644
--- a/src/ltlvisit/randomltl.hh
+++ b/src/ltlvisit/randomltl.hh
@@ -43,7 +43,7 @@ namespace spot
       {
       }
 
-      ~random_formula()
+      virtual ~random_formula()
       {
 	delete[] proba_;
       }