Is there a chemical that melts oil pastels?

i remember in 5th grade we colored using oil pastels and then with a paint brush we dipped it in some sort of chemical (clear) and it would smooth it out like as if it was paint... so do you know what the chemicals were called??????