From de89eeb91c44ad0d07cb540b1569b8eb27819cda Mon Sep 17 00:00:00 2001
From: Guillaume Maudoux <guillaume.maudoux@uclouvain.be>
Date: Tue, 28 Aug 2018 22:51:04 +0200
Subject: [PATCH] std::move list tail

See https://github.com/mozart/mozart2/issues/284#issuecomment-252862846
---
 vm/boostenv/main/boostenv.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vm/boostenv/main/boostenv.hh b/vm/boostenv/main/boostenv.hh
index 7565defaa..8448ab7d3 100644
--- a/vm/boostenv/main/boostenv.hh
+++ b/vm/boostenv/main/boostenv.hh
@@ -158,7 +158,7 @@ UnstableNode BoostEnvironment::listVMs(VM vm) {
   boost::lock_guard<boost::mutex> lock(_vmsMutex);
   UnstableNode list = buildList(vm);
   for (BoostVM& boostVM : _vms)
-    list = buildCons(vm, build(vm, boostVM.identifier), list);
+    list = buildCons(vm, build(vm, boostVM.identifier), std::move(list));
   return list;
 }