Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
96908056
Commit
96908056
authored
Mar 16, 2017
by
Etienne Renault
Browse files
ltsmin: do not take iterators by copy
* spot/ltsmin/spins_kripke.hxx: here.
parent
c35eb2b4
Changes
1
Hide whitespace changes
Inline
Side-by-side
spot/ltsmin/spins_kripke.hxx
View file @
96908056
...
...
@@ -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
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment