remove range_typet() constructor, which produces an incomplete object

Daniel Kroening · Daniel Kroening · commit 930ca57eea23 · 2018-05-19T09:39:34.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -1563,10 +1563,6 @@ inline const string_typet &to_string_type(const typet &type)
 class range_typet:public typet
 {
 public:
-  range_typet():typet(ID_range)
-  {
-  }
-
   range_typet(const mp_integer &_from, const mp_integer &_to)
   {
     set_from(_from);

Original file line number	Diff line number	Diff line change
`@@ -1563,10 +1563,6 @@ inline const string_typet &to_string_type(const typet &type)`
`1563`	`1563`	`class range_typet:public typet`
`1564`	`1564`	`{`
`1565`	`1565`	`public:`
`1566`		`- range_typet():typet(ID_range)`
`1567`		`- {`
`1568`		`- }`
`1569`		`-`
`1570`	`1566`	`range_typet(const mp_integer &_from, const mp_integer &_to)`
`1571`	`1567`	`{`
`1572`	`1568`	`set_from(_from);`