From 1ab085b4793e27997019f1bb309c1853063f409f Mon Sep 17 00:00:00 2001 From: a Date: Sat, 8 Jun 2024 15:07:17 +0100 Subject: [PATCH] update types --- src/types.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/types.jl b/src/types.jl index 5a1c1e974..e757f1d71 100644 --- a/src/types.jl +++ b/src/types.jl @@ -539,7 +539,7 @@ function TermInterface.maketerm(T::Type{<:BasicSymbolic}, head, args, metadata) basicsymbolic(head, args, symtype(T), metadata) end -symtype(T::Type{<:Symbolic{T}}) where T = T +symtype(::Type{<:Symbolic{T}}) where T = T function basicsymbolic(f, args, stype, metadata)