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