Merge pull request #8666 from tautschnig/remove-make_with_expr

Remove deprecated make_with_expr

Author: kroening

src/util/expr_util.cpp

@@ -66,11 +66,6 @@ exprt make_binary(const exprt &expr)
   return previous;
 }
 
-with_exprt make_with_expr(const update_exprt &src)
-{
-  return src.make_with_expr();
-}
-
 exprt is_not_zero(
   const exprt &src,
   const namespacet &ns)

src/util/expr_util.h

@@ -40,10 +40,6 @@ bool is_assignable(const exprt &);
 /// splits an expression with >=3 operands into nested binary expressions
 exprt make_binary(const exprt &);
 
-/// converts an update expr into a (possibly nested) with expression
-DEPRECATED(SINCE(2024, 9, 10, "use update_exprt::make_with_expr() instead"))
-with_exprt make_with_expr(const update_exprt &);
-
 /// converts a scalar/float expression to C/C++ Booleans
 exprt is_not_zero(const exprt &, const namespacet &ns);