From d3be5304106a2486737b132db17492dcba65a9fc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 13 Apr 2012 12:21:57 +0200
Subject: [PATCH] tgbatba: fix destroying of cache variables.

* src/tgba/tgbatba.cc (tgba_tba_proxy::~tgba_tba_proxy):
Zero last_support_conditions_input_ and last_support_variables_input_.
---
 src/tgba/tgbatba.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/tgba/tgbatba.cc b/src/tgba/tgbatba.cc
index 956316e01..f2ddc4e25 100644
--- a/src/tgba/tgbatba.cc
+++ b/src/tgba/tgbatba.cc
@@ -459,6 +459,11 @@ namespace spot
 	s->destroy();
       }
     delete m;
+
+    // These have already been destroyed.
+    // Prevent destroying by tgba::~tgba.
+    this->last_support_conditions_input_ = 0;
+    this->last_support_variables_input_ = 0;
   }
 
   state*