Skip to content

Commit e115cef

Browse files
committed
Updates requested in the PR.
1 parent fb60592 commit e115cef

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/summaries/summary_dump.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -801,7 +801,7 @@ std::string dump_goto_program_in_html(
801801
if(!ordered_declarations.empty())
802802
{
803803
ostr
804-
<< "<h3>Listing of functions without bodies (declared only)</h3>\n"
804+
<< "<h3>Listing of functions without bodies (undefined references)</h3>\n"
805805
<< "<table>\n"
806806
<< " <caption>There are "
807807
<< ordered_declarations.size()
@@ -954,7 +954,7 @@ std::string dump_goto_functions_in_html(
954954
if(!ordered_declarations.empty())
955955
{
956956
ostr
957-
<< "<h3>Listing of functions without bodies (declared only)</h3>\n"
957+
<< "<h3>Listing of functions without bodies (undefined references)</h3>\n"
958958
<< "<table>\n"
959959
<< " <caption>There are "
960960
<< ordered_declarations.size()

0 commit comments

Comments
 (0)