What is difference between civil and public servant in Nigeria?

A Civil Servant is a Government worker who works in the core ministry while a Public servant is government worker who is a professional and works in Government agency or parastatal