Do not handle special case where buffer == NULL

If it is so, we have already crashed in isBranchSelected() above.

(and hopefully, buffer_ is never null these days).

Spotted by Coverity scan.

diff --git a/src/insets/InsetBranch.cpp b/src/insets/InsetBranch.cpp
index a86b9348267999b8b4c4846808ef352366ab1b38..16ac8f9237914afa7bee7a511ff1f4ff5dd6653f 100644 (file)
--- a/src/insets/InsetBranch.cpp
+++ b/src/insets/InsetBranch.cpp
@@ -121,10 +121,6 @@ docstring const InsetBranch::buttonLabel(BufferView const &) const
        if (decoration() == InsetDecoration::MINIMALISTIC)
                return symb + inv_symb + params_.branch;
 
-       if (!buffer_) {
-               return symb + inv_symb + _("Branch (undefined): ")
-                       + params_.branch;
-       }
        bool const has_layout =
                buffer().params().documentClass().hasInsetLayout(layoutName());
        if (has_layout) {