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;
 	}
     }