Remove unused constructor

svorenova · svorenova · commit 5660eeafdea6 · 2018-09-17T13:42:14.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -1050,11 +1050,6 @@ class incomplete_array_typet:public type_with_subtypet
   incomplete_array_typet():type_with_subtypet(ID_incomplete_array)
   {
   }
-
-  explicit incomplete_array_typet(const typet &_subtype)
-    : type_with_subtypet(ID_incomplete_array, _subtype)
-  {
-  }
 };
 
 /// Check whether a reference to a typet is a \ref incomplete_array_typet.

Original file line number	Diff line number	Diff line change
`@@ -1050,11 +1050,6 @@ class incomplete_array_typet:public type_with_subtypet`
`1050`	`1050`	`incomplete_array_typet():type_with_subtypet(ID_incomplete_array)`
`1051`	`1051`	`{`
`1052`	`1052`	`}`
`1053`		`-`
`1054`		`- explicit incomplete_array_typet(const typet &_subtype)`
`1055`		`- : type_with_subtypet(ID_incomplete_array, _subtype)`
`1056`		`- {`
`1057`		`- }`
`1058`	`1053`	`};`
`1059`	`1054`
`1060`	`1055`	`/// Check whether a reference to a typet is a \ref incomplete_array_typet.`