From b372a598f09af84f6533bc1c9016cba783ebe955 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 25 Jun 2025 08:32:20 +0000
Subject: [PATCH] Remove deprecated make_with_expr

This was deprecated over 6 months ago.
---
 src/util/expr_util.cpp | 5 -----
 src/util/expr_util.h   | 4 ----
 2 files changed, 9 deletions(-)

diff --git a/src/util/expr_util.cpp b/src/util/expr_util.cpp
index d393bc5c567..1cd346fd6de 100644
--- a/src/util/expr_util.cpp
+++ b/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)
diff --git a/src/util/expr_util.h b/src/util/expr_util.h
index fd0381cd704..269518e709f 100644
--- a/src/util/expr_util.h
+++ b/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);