+1 to what Walter said. If the bass was "in the ballpark" already, it should only take a few minutes to fix a small intonation issue. My guess, and only a guess, is that the tech set it up in standard tuning. For anyone saying auto-tune it, regardless of your software choice, I think that is kinda sad. I'd bet you cash money I can intonate a bass faster than you can make an auto-corrected bass part sonically invisible to a trained ear.
Intonating a bass is a butt-simple process that ANY bass player with a good tuner should be able to do themselves in a matter of minutes, let alone what a "studio" staff should know.
Is there that little respect for the art of just showing up prepared with a working instrument left?
Pitch correction is for those that can't. It is the audio equivalent of silicon boobs. Maybe fine for you, but no thanks for me. I like my music, and my hooters, real.