children's Benadryl for babies?

💖
Doc told me to give my 9 month old 2ml of Benadryl for her allergies so she can stop coughing at night. She's been coughing until the throws up. 
Anybody else given their babies children's Benadryl?