Could it be just a vein that you pulled? I have some pulls in my neck last time, felt more like vein than a muscle pull.
If indeed it is a pulled muscle, don't stretch it. You will tear up the muscle when it is trying to heal itself. Slight stretches could be fine, but keep it at like 50% of your flexibility limit so that you just warm it up slightly .