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

* src/ltlvisit/simplify.cc (simplify_visitor): Return automatop as-is.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-14 18:25:36 +02:00
parent 7b6337f456
commit 7022853dad
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ltlvisit/simplify.cc
View file

@ -2367,9 +2367,9 @@ namespace spot
} }
void void
visit(const automatop*) visit(const automatop* aut)
{ {
assert(0); result_ = aut->clone();
} }
void void