Merge pull request #3169 from tautschnig/c_bool-default-constructor

tautschnig · web-flow · commit 28201d2e108c · 2018-10-15T07:53:36.000+01:00
c_bool_typet: Remove unused default constructor
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -1624,10 +1624,6 @@ bool is_rvalue_reference(const typet &type);
 class c_bool_typet:public bitvector_typet
 {
 public:
-  c_bool_typet():bitvector_typet(ID_c_bool)
-  {
-  }
-
   explicit c_bool_typet(std::size_t width):
     bitvector_typet(ID_c_bool, width)
   {

Original file line number	Diff line number	Diff line change
`@@ -1624,10 +1624,6 @@ bool is_rvalue_reference(const typet &type);`
`1624`	`1624`	`class c_bool_typet:public bitvector_typet`
`1625`	`1625`	`{`
`1626`	`1626`	`public:`
`1627`		`- c_bool_typet():bitvector_typet(ID_c_bool)`
`1628`		`- {`
`1629`		`- }`
`1630`		`-`
`1631`	`1627`	`explicit c_bool_typet(std::size_t width):`
`1632`	`1628`	`bitvector_typet(ID_c_bool, width)`
`1633`	`1629`	`{`