diff options
Diffstat (limited to 'src/clients/cave/cmd_display_resolution.cc')
| -rwxr-xr-x | src/clients/cave/cmd_display_resolution.cc | 3 |
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()), |