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);