From d1cf819540ba7a2e384e23963b08b4c35a65e15f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 11 Jun 2009 18:35:01 +0200
Subject: [PATCH] Kill a g++-4.2 warning.

* src/tgba/tgbacomplement.cc (state_complement::state_complement)
explicitly initialize the base class spot::state.
---
 ChangeLog                  | 7 +++++++
 src/tgba/tgbacomplement.cc | 1 +
 2 files changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 0714ecac9..3b7862882 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2009-06-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Kill a g++-4.2 warning.
+
+	* src/tgba/tgbacomplement.cc (state_complement::state_complement)
+	explicitly initialize the base class spot::state.
+
 2009-06-10  Guillaume Sadegh  <sadegh@lrde.epita.fr>
 
 	During the complementation, transform the auxiliary Streett
diff --git a/src/tgba/tgbacomplement.cc b/src/tgba/tgbacomplement.cc
index c40808d45..f7d8486ba 100644
--- a/src/tgba/tgbacomplement.cc
+++ b/src/tgba/tgbacomplement.cc
@@ -906,6 +906,7 @@ namespace spot
     }
 
     state_complement::state_complement(const state_complement& other)
+      : state()
     {
       U = other.U;
       L = other.L;