remove type_with_subtypet::type_with_subtypet()

Daniel Kroening · Daniel Kroening · commit f1f4cb183311 · 2018-10-14T14:08:17.000+01:00
diff --git a/src/util/type.h b/src/util/type.h
@@ -80,8 +80,6 @@ class typet:public irept
 class type_with_subtypet:public typet
 {
 public:
-  type_with_subtypet() { }
-
   explicit type_with_subtypet(const irep_idt &_id):typet(_id) { }
   type_with_subtypet(const irep_idt &_id, const typet &_subtype):
     typet(_id)

Original file line number	Diff line number	Diff line change
`@@ -80,8 +80,6 @@ class typet:public irept`
`80`	`80`	`class type_with_subtypet:public typet`
`81`	`81`	`{`
`82`	`82`	`public:`
`83`		`- type_with_subtypet() { }`
`84`		`-`
`85`	`83`	`explicit type_with_subtypet(const irep_idt &_id):typet(_id) { }`
`86`	`84`	`type_with_subtypet(const irep_idt &_id, const typet &_subtype):`
`87`	`85`	`typet(_id)`