Make goto_symext::language_mode protected#8646

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:language_mode-protectedtautschnig/cbmc:language_mode-protectedCopy head branch name to clipboard