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

* src/ltlvisit/lbt.cc: Add missing case for Xor.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-13 17:56:15 +02:00
parent a7d7d8d0ef
commit d22fb0b61f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/lbt.cc
View file

@ -90,7 +90,7 @@ namespace spot
switch (bo->op()) switch (bo->op())
{ {
case binop::Xor: case binop::Xor:
os_ << "^ ";
break; break;
case binop::Implies: case binop::Implies:
os_ << "i "; os_ << "i ";