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

* src/bin/dstar2tgba.cc: Do not try to enable utf-8 on automata.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-08-10 18:32:06 +02:00
parent bbeae65031
commit 70a6b70f89
1 changed files with 0 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/bin/dstar2tgba.cc
View file

@ -32,7 +32,6 @@
#include "common_post.hh" #include "common_post.hh"
#include "ltlast/formula.hh" #include "ltlast/formula.hh"
#include "tgba/tgbaexplicit.hh"
#include "tgbaalgos/dotty.hh" #include "tgbaalgos/dotty.hh"
#include "tgbaalgos/lbtt.hh" #include "tgbaalgos/lbtt.hh"
#include "tgbaalgos/neverclaim.hh" #include "tgbaalgos/neverclaim.hh"
@ -315,17 +314,6 @@ namespace
const double prec = XTIME_PRECISION; const double prec = XTIME_PRECISION;
const double conversion_time = (after - before) / prec; const double conversion_time = (after - before) / prec;
if (utf8)
{
spot::tgba* a = const_cast<spot::tgba*>(aut);
if (spot::tgba_explicit_formula* tef =
dynamic_cast<spot::tgba_explicit_formula*>(a))
tef->enable_utf8();
else if (spot::sba_explicit_formula* sef =
dynamic_cast<spot::sba_explicit_formula*>(a))
sef->enable_utf8();
}
switch (format) switch (format)
{ {
case Dot: case Dot: