From 7991efa10fa604243d6fdfa143cfffcf5e068bbb Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 23 Jul 2003 15:23:00 +0000
Subject: [PATCH] * iface/gspn/gspn.cc
 (tgba_gspn_private_::tgba_gspn_private_): Rethrow caught expections.

---
 ChangeLog          | 5 +++++
 iface/gspn/gspn.cc | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index aa3dfdb71..d6b2e1340 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-23  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* iface/gspn/gspn.cc (tgba_gspn_private_::tgba_gspn_private_): 
+	Rethrow caught expections.
+
 2003-07-22  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* m4/gspnlib.m4: Check for libgspnRG.a and libgspnSRG.a.
diff --git a/iface/gspn/gspn.cc b/iface/gspn/gspn.cc
index 16c1be95e..4e211cc98 100644
--- a/iface/gspn/gspn.cc
+++ b/iface/gspn/gspn.cc
@@ -117,6 +117,7 @@ namespace spot
 	  // If an exception occurs during the loop, we need to clean
 	  // all BDD variables which have been registered so far.
 	  dict->unregister_all_my_variables(this);
+	  throw;
 	}
     }