将两个边沿作为触发事件遇到的问题

我将两个边沿作为触发事件就遇到了下面的问题
       always @ (posedge baudWire or posedge clk)
       begin
              Sel = Sel + 1;
       end

编译器报错
ERROR:Xst:899 - ConfigChip.v line 42: The logic for <Sel> does not match a known FF or Latch template.
我的Sel 是个寄存器类型变量。什么原因呢？有人知道怎样解决吗？