Commit 0842494f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/bin/ Missing std::move.

parent 84620175
......@@ -610,7 +610,7 @@ namespace
if (opt_destut)
aut = spot::closure(std::move(aut));
if (opt_instut)
aut = spot::sl(aut);
aut = spot::sl(std::move(aut));
if (opt_product)
aut = spot::product(std::move(aut), opt_product);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment