A broken condom for a one time event is low risk. Less than 2 percent transmission. I wouldn't be overly worried but you will need to test at 28 days post exposure with a 4th generation duo test.
You don't always get hiv from unprotected vaginal, so don't spend any time worrying about it. Who supplied the condom, you or her?