Skip to content

Commit 14f9014

Browse files
committed
Avoid (spurious) GCC 13 warning about overloading
We previously issued a similar fix in 90d9c7a. GCC 13 now reports this in another two files, fixed in this commit.
1 parent 3a3c50e commit 14f9014

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

src/goto-cc/ms_cl_cmdline.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ Date: June 2006
1919
class ms_cl_cmdlinet:public goto_cc_cmdlinet
2020
{
2121
public:
22+
using cmdlinet::parse;
2223
virtual bool parse(int, const char **);
2324

2425
ms_cl_cmdlinet()

src/goto-cc/ms_link_cmdline.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ Date: July 2018
1919
class ms_link_cmdlinet : public goto_cc_cmdlinet
2020
{
2121
public:
22+
using cmdlinet::parse;
2223
virtual bool parse(int, const char **);
2324

2425
ms_link_cmdlinet()

0 commit comments

Comments
 (0)