Don't copy if should_copy is false#251

jumerckx wants to merge 1 commit intoJuliaSymbolics:ale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from

jumerckx:patch-1jumerckx/Metatheory.jl:patch-1Copy head branch name to clipboard