I believe airspace in this area is class C in which case ATC could have passed traffic info and let the pilots apply their own separation; I did it myself with 2 x DC 8s at FL350 years ago although admittedly they were both going in the same direction.