From 0842494fed4ca131d7ebae33b13c7ce98ecbe8c4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 23 Dec 2014 14:21:36 +0100
Subject: [PATCH] * src/bin/autfilt.cc: Missing std::move.

---
 src/bin/autfilt.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);