已知双曲线 $\frac{x^2}{a^2}-y^2=1(a>0)$的一条渐近线为 $\sqrt{3}x+y=0$，则 $a=$．