remove deprecated array_of_exprt constructor

Daniel Kroening · Daniel Kroening · commit e133d22443b3 · 2019-03-12T13:56:45.000Z
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1610,11 +1610,6 @@ inline index_exprt &to_index_expr(exprt &expr)
 class array_of_exprt:public unary_exprt
 {
 public:
-  DEPRECATED("use array_of_exprt(what, type) instead")
-  array_of_exprt():unary_exprt(ID_array_of)
-  {
-  }
-
   explicit array_of_exprt(
     const exprt &_what, const array_typet &_type):
     unary_exprt(ID_array_of, _what, _type)
