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

bin: typo in ltl3dra shorthand

Browse source 
Reported by Fanda.

* src/bin/common_trans.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-06-15 18:42:27 +02:00
parent 3e853eedeb
commit 7ea9ebe07a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/common_trans.cc
View file

@ -43,7 +43,7 @@ static struct shorthands_t
{ "ltl2dstar", " --output-format=hoa %L %O"}, { "ltl2dstar", " --output-format=hoa %L %O"},
{ "ltl2tgba", " -H %f>%O" }, { "ltl2tgba", " -H %f>%O" },
{ "ltl3ba", " -f %s>%O" }, { "ltl3ba", " -f %s>%O" },
{ "ltl3dra", " -f %f>%O" }, { "ltl3dra", " -f %s>%O" },
{ "modella", " %L %O" }, { "modella", " %L %O" },
{ "spin", " -f %s>%O" }, { "spin", " -f %s>%O" },
}; };