No, I gave him the minor chords, because that's what he asked about.
Also, I suppose I should've made note of this, but in the common practice period, a raised 7th or leading tone was typically used in the natural minor scale, making the diatonic 7th chord diminished. For this reason, you can play it as either major or diminished. I should've included it could be major as well, but you covered that.
For example, the typical natural minor chord progression looks like this:
From left to right, the chords are VII, III, VI, vi and ii*, vii* and V, then i.
Kind of confusing looking, but basically, it's a guide line for chord movements in a minor key, and it includes both the Major and Diminished 7th.