remove range_typet() constructor, which produces an incomplete object

NathanJPhillips · May 29, 2018 · e7c52e4 · e7c52e4
1 parent f92083d
commit e7c52e4
Showing 1 changed file with 0 additions and 4 deletions.
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);