In this paper, we study pattern formations in a Holling-Tanner predator-prey model with prey-taxis. By using the linear analysis method and the classical bifurcation theory, it is proved that the branches of nonconstant solutions can bifurcate from the positive equilibrium only when the retreating behavior of predators occurs. Furthermore, the directions of the branches near the bifurcation points are obtained.