From e4b71cb31b17fbd702d10ab850c148f8b276dfac Mon Sep 17 00:00:00 2001 From: David Plankensteiner Date: Tue, 6 Apr 2021 15:30:10 +0200 Subject: [PATCH] Fix polynorm deprecation warning --- src/api.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api.jl b/src/api.jl index 03b24eff7..2708a0563 100644 --- a/src/api.jl +++ b/src/api.jl @@ -18,7 +18,8 @@ function simplify(x; thread_subtree_cutoff=100, rewriter=nothing) if polynorm !== nothing - Base.depwarn("simplify(..; polynorm=$polynorm) is deprecated, use simplify(..; expand=$polynorm) instead") + Base.depwarn("simplify(..; polynorm=$polynorm) is deprecated, use simplify(..; expand=$polynorm) instead", + :simplify) end f = if rewriter === nothing