Open Vampire opened 1 year ago
I have some unresolved dependencies and when running without --info the heading says to use --info to get more details. But when running with --info, this hint is still shown.
--info
It should not be shown when already running with --info.
I have some unresolved dependencies and when running without
--info
the heading says to use--info
to get more details. But when running with--info
, this hint is still shown.It should not be shown when already running with
--info
.