alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlvisit/postfix.cc: Fix recursion on bunop formulae.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-12-01 21:18:27 +01:00
parent 2a4f181737
commit ec9a3f96cb
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/ltlvisit/postfix.cc
View file

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