Revise.jl not updating correctly a package

I don’t know how Revise handles such a case, but the general recommendation is not to include the same file multiple times. See, for example

Is there a compelling reason to include “a.jl” twice in your case?