From ec9a3f96cb0f1b47bd8bf284df4d065c00c607a9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 1 Dec 2011 21:18:27 +0100
Subject: [PATCH] * src/ltlvisit/postfix.cc: Fix recursion on bunop formulae.

---
 src/ltlvisit/postfix.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/ltlvisit/postfix.cc b/src/ltlvisit/postfix.cc
index 175a70952..f10c32225 100644
--- a/src/ltlvisit/postfix.cc
+++ b/src/ltlvisit/postfix.cc
@@ -1,7 +1,7 @@
-// Copyright (C) 2009, 2010  Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -78,6 +78,7 @@ namespace spot
     void
     postfix_visitor::visit(bunop* so)
     {
+      so->child()->accept(*this);
       doit(so);
     }