diff --git a/src/ad_api.jl b/src/ad_api.jl index f3180096..98b02b72 100644 --- a/src/ad_api.jl +++ b/src/ad_api.jl @@ -9,7 +9,20 @@ EmptyADbackend(args...; kwargs...) = EmptyADbackend() function Base.show( io::IO, backend::ADModelBackend{GB, HvB, JvB, JtvB, JB, HB, GHJ, HvBLS, JvBLS, JtvBLS, JBLS, HBLS}, -) where {GB, HvB, JvB, JtvB, JB, HB, GHJ, HvBLS <: EmptyADbackend, JvBLS <: EmptyADbackend, JtvBLS <: EmptyADbackend, JBLS <: EmptyADbackend, HBLS <: EmptyADbackend} +) where { + GB, + HvB, + JvB, + JtvB, + JB, + HB, + GHJ, + HvBLS <: EmptyADbackend, + JvBLS <: EmptyADbackend, + JtvBLS <: EmptyADbackend, + JBLS <: EmptyADbackend, + HBLS <: EmptyADbackend, +} print(io, replace(replace( "ADModelBackend{ $GB,