Skip to content

Commit a496539

Browse files
committed
remove a constructor that would yield an incomplete object
This removes a constructor that would create an object that is incomplete. The constructor was not in use.
1 parent 967aad8 commit a496539

File tree

1 file changed

+0
-8
lines changed

1 file changed

+0
-8
lines changed

src/verilog/verilog_expr.h

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,6 @@ Author: Daniel Kroening, [email protected]
1717
/// is an identifier within that module.
1818
class hierarchical_identifier_exprt : public binary_exprt
1919
{
20-
public:
21-
hierarchical_identifier_exprt() : binary_exprt(ID_hierarchical_identifier)
22-
{
23-
}
2420
};
2521

2622
extern inline const hierarchical_identifier_exprt
@@ -42,10 +38,6 @@ extern inline hierarchical_identifier_exprt
4238
class function_call_exprt : public binary_exprt
4339
{
4440
public:
45-
function_call_exprt() : binary_exprt(ID_function_call)
46-
{
47-
}
48-
4941
exprt &function() { return op0(); }
5042
const exprt &function() const { return op0(); }
5143

0 commit comments

Comments
 (0)