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

* src/tgbaparse/tgbaparse.yy: Cosmetics.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-07-02 11:15:40 +02:00
parent 2beacc3924
commit 64822be6a1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaparse/tgbaparse.yy
View file

@ -232,7 +232,7 @@ namespace spot
}
formula_cache fcache;
tgba_digraph* result = new tgba_digraph(dict);
auto* namer = result->create_namer<std::string>();
auto namer = result->create_namer<std::string>();
spot::acc_mapper acc_map(result, envacc);
tgbayy::parser parser(error_list, env, acc_map, result, namer, fcache);
parser.set_debug_level(debug);