remove unused constructor struct_typet::baset()

Daniel Kroening · Daniel Kroening · commit a9b975443a42 · 2018-09-28T20:19:15.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -291,10 +291,6 @@ class struct_typet:public struct_union_typet
   class baset : public exprt
   {
   public:
-    baset() : exprt(ID_base)
-    {
-    }
-
     explicit baset(const typet &base) : exprt(ID_base, base)
     {
     }

Original file line number	Diff line number	Diff line change
`@@ -291,10 +291,6 @@ class struct_typet:public struct_union_typet`
`291`	`291`	`class baset : public exprt`
`292`	`292`	`{`
`293`	`293`	`public:`
`294`		`- baset() : exprt(ID_base)`
`295`		`- {`
`296`		`- }`
`297`		`-`
`298`	`294`	`explicit baset(const typet &base) : exprt(ID_base, base)`
`299`	`295`	`{`
`300`	`296`	`}`