diff --git a/src/utils.jl b/src/utils.jl index f067a14c6..5d56b1998 100644 --- a/src/utils.jl +++ b/src/utils.jl @@ -111,6 +111,7 @@ function diff2term(O, O_metadata::Union{Dict, Nothing, Base.ImmutableDict}=nothi ds = nothing end d_separator = 'ˍ' + local opname if ds === nothing return maketerm(typeof(O), head(O), map(diff2term, children(O)),