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

ltsmin: fix constness of arguments as suggested by PVS-Studio

Browse source 
For #192.

* spot/ltsmin/ltsmin.cc (compile_model): Here.  As remove some unused
variable.
This commit is contained in:
Alexandre Duret-Lutz 2016-10-28 22:45:40 +02:00
parent 26e94b774f
commit 630e90b9cc
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
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, 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;
@ -969,7 +969,6 @@ namespace spot
if (stat(filename.c_str(), &s) != 0) if (stat(filename.c_str(), &s) != 0)
throw std::runtime_error(std::string("Cannot open ") + filename); throw std::runtime_error(std::string("Cannot open ") + filename);
std::string old = filename;
filename += compiled_ext; filename += compiled_ext;
// Remove any directory, because the new file will // Remove any directory, because the new file will