Astolic Pressure - Define (?) DOES IT EXIST??

I'm currently writing down the definitions of the vocab words that my professor specified and one of them is "astolic pressure". I have Taber's medical dictionary and was using that to define all the words but astolic pressure doesn't come up as a term. I searched on google and they corrected it to diastolic pressure. My prof has the term diastolic blood pressure as another term to define but I'm wondering if astolic pressure is actually a typo and the professor accidentally typed diastolic pressure twice?

I'll ask her on monday but help here is appreciated too.