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

ltlsmin: revert part of 630e90b9

Browse source 
* spot/ltsmin/ltsmin.cc (compile_model): It does need to modify its
first argument.
This commit is contained in:
Alexandre Duret-Lutz 2016-10-30 08:13:37 +01:00
parent 40ed12050b
commit adc40fdcb6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/ltsmin/ltsmin.cc
View file

@ -943,7 +943,7 @@ namespace spot
// Call spins to compile "foo.prom" as "foo.prom.spins" if the latter // Call spins to compile "foo.prom" as "foo.prom.spins" if the latter
// does not exist already or is older. // does not exist already or is older.
static void static void
compile_model(std::string filename, const std::string& ext) compile_model(std::string& filename, const std::string& ext)
{ {
std::string command; std::string command;
std::string compiled_ext; std::string compiled_ext;