From 8901d0d5be3181734c365941af0c3d575942dd99 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 28 Oct 2009 14:24:26 +0100 Subject: [PATCH] * src/ltlast/formula_tree.cc (instanciate, arity): Add a useless return 0 at the end to prevent g++ 4.2.3 from complaining about a missing return. Reported by Denis Poitrenaud. --- ChangeLog | 6 ++++++ src/ltlast/formula_tree.cc | 2 ++ 2 files changed, 8 insertions(+) diff --git a/ChangeLog b/ChangeLog index be018aac8..67a1e69be 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2009-10-28 Alexandre Duret-Lutz + + * src/ltlast/formula_tree.cc (instanciate, arity): Add a useless + return 0 at the end to prevent g++ 4.2.3 from complaining about + a missing return. Reported by Denis Poitrenaud. + 2009-10-23 Alexandre Duret-Lutz * src/tgbatest/kv.test: Don't run valgrind on dot! diff --git a/src/ltlast/formula_tree.cc b/src/ltlast/formula_tree.cc index 09f8eac32..ddd199ede 100644 --- a/src/ltlast/formula_tree.cc +++ b/src/ltlast/formula_tree.cc @@ -58,6 +58,7 @@ namespace spot /* Unreachable code. */ assert(0); + return 0; } size_t @@ -82,6 +83,7 @@ namespace spot /* Unreachable code. */ assert(0); + return 0; } } }