diff --git a/src/bin/autfilt.cc b/src/bin/autfilt.cc
index 7f45dbf11..3ffa2e55d 100644
--- a/src/bin/autfilt.cc
+++ b/src/bin/autfilt.cc
@@ -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);