Would he have seen you if you hadn't waved to him?

问题描述:

Would he have seen you if you hadn't waved to him?
这句话是不是有语法错误?have是不是应该为has?

would,will,could,can,may,might,must等情态动词后接动词原形
have是对的