Skip to content

Commit b40be48

Browse files
committed
Fix whitespace
1 parent b8c4470 commit b40be48

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

src/goto-cc/linker_script_merge.cpp

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -727,16 +727,16 @@ int linker_script_merget::get_linker_script_data(
727727
}
728728

729729
int linker_script_merget::goto_and_object_mismatch(
730-
const std::list<irep_idt> &linker_defined_symbols,
731-
linker_valuest &linker_values)
730+
const std::list<irep_idt> &linker_defined_symbols,
731+
linker_valuest &linker_values)
732732
{
733733
int fail=0;
734734
for(const auto &sym : linker_defined_symbols)
735735
if(linker_values.find(sym)==linker_values.end())
736736
{
737737
log.warning() << "Variable '" << sym
738-
<< "' was declared extern but never given "
739-
<< "a value, even in a linker script" << messaget::eom;
738+
<< "' was declared extern but never given a value, even in "
739+
<< "a linker script" << messaget::eom;
740740

741741
null_pointer_exprt null_pointer(pointer_type(char_type()));
742742
symbol_exprt null_sym(sym, pointer_type(char_type()));

src/goto-cc/linker_script_merge.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -197,8 +197,8 @@ class linker_script_merget
197197
/// \return `1` if there is some mismatch between the list and map, `0` if
198198
/// everything is OK.
199199
int goto_and_object_mismatch(
200-
const std::list<irep_idt> &linker_defined_symbols,
201-
linker_valuest &linker_values);
200+
const std::list<irep_idt> &linker_defined_symbols,
201+
linker_valuest &linker_values);
202202

203203
/// \brief Validate output of the `scripts/ls_parse.py` tool
204204
int linker_data_is_malformed(const jsont &data) const;

0 commit comments

Comments
 (0)