From 3c868c228bbfee9757570a0e3413ab6b504c2230 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 16 Mar 2017 16:57:54 +0100
Subject: [PATCH] ltsmin: do not take iterators by copy

* spot/ltsmin/spins_kripke.hxx: here.
---
 spot/ltsmin/spins_kripke.hxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/ltsmin/spins_kripke.hxx b/spot/ltsmin/spins_kripke.hxx
index 5d3911aec..875250839 100644
--- a/spot/ltsmin/spins_kripke.hxx
+++ b/spot/ltsmin/spins_kripke.hxx
@@ -251,9 +251,9 @@ namespace spot
 
   kripkecube<cspins_state, cspins_iterator>::~kripkecube()
   {
-    for (auto i: recycle_)
+    for (auto& i: recycle_)
       {
-        for (auto j: i)
+        for (auto& j: i)
           {
             cubeset_.release(j->condition());
             delete j;