Hello, as topic states, cedet/semantic/util-modes.el uses symbol 'default-header-line-format' (it checks if this symbol is bound by means of 'boundp') but this symbol was removed in commit '73d47d22197' (http://git.savannah.gnu.org/cgit/emacs.git/commit/lisp?id=73d47d22197175f08b2dd62e76d7138872e611d2). I made small patch, tested it and it works well.