Yes it was a lucid. He had a dream within a dream like in Inception, and the second one was lucid, so the dream itself counts as lucid (regardless of level of control).