Commit 64d5de8f authored by Denis Poitrenaud's avatar Denis Poitrenaud
Browse files

* src/ltlvisit/syntimpl.cc: Fix a typo.

parent 5a39d40b
2005-05-16 Denis Poitrenaud <dp@src.lip6.fr>
* src/ltlvisit/syntimpl.cc: Fix a typo.
2005-05-13 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltlvisit/syntimpl.cc: Fix detection of purely eventual formulae.
......
......@@ -102,7 +102,7 @@ namespace spot
eventual = recurse_ev(f1) && recurse_ev(f2);
return;
case binop::U:
universal = recurse_un(f1) & recurse_un(f2);
universal = recurse_un(f1) && recurse_un(f2);
if ((f1 == constant::true_instance())
// Both operand must be purely eventual, unlike in
// the proceedings of Concur'00. (The revision of
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment