From f11df7679af2ae2cca5aba0f8a77ceb126de1d0a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 4 May 2004 11:22:06 +0000
Subject: [PATCH] * src/tgbaalgos/ltl2tgba_fm.cc: Add a superfluous return to
 pacify some GCC version.  Report from Denis Poitrenaud.

---
 ChangeLog                    | 3 +++
 src/tgbaalgos/ltl2tgba_fm.cc | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 2a0db491b..a710d6d6d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-05-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/ltl2tgba_fm.cc: Add a superfluous return to pacify
+	some GCC version.  Report from Denis Poitrenaud.
+
 	* wrap/python/cgi/ltl2tgba.in: Fix output HTML.
 
 2004-05-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc
index bd30a4f87..b5f1202d7 100644
--- a/src/tgbaalgos/ltl2tgba_fm.cc
+++ b/src/tgbaalgos/ltl2tgba_fm.cc
@@ -148,6 +148,9 @@ namespace spot
 	if (isi != dict->var_formula_map.end())
 	  return clone(isi->second);
 	assert(0);
+	// Never reached, but some GCC versions complain about
+	// a missing return otherwise.
+	return 0;
       }
 
       formula*