aboutsummaryrefslogtreecommitdiff
path: root/src/clients/cave/cmd_display_resolution.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/clients/cave/cmd_display_resolution.cc')
-rwxr-xr-xsrc/clients/cave/cmd_display_resolution.cc3
1 files changed, 0 insertions, 3 deletions
diff --git a/src/clients/cave/cmd_display_resolution.cc b/src/clients/cave/cmd_display_resolution.cc
index 38ad4f035..dbb12adf6 100755
--- a/src/clients/cave/cmd_display_resolution.cc
+++ b/src/clients/cave/cmd_display_resolution.cc
@@ -1800,13 +1800,10 @@ namespace
else
cout << fuc(fs_display_errors());
- bool any(false);
for (Decisions<UnableToMakeDecision>::ConstIterator i(decisions->begin()),
i_end(decisions->end()) ;
i != i_end ; ++i)
{
- any = true;
-
display_unable_to_make_decision(
env,
*resolved->resolutions_by_resolvent()->find((*i)->resolvent()),