Robin pointed this out, but I think it's worth saying in the answer box:  the definition of ["p is unramified"](http://en.wikipedia.org/wiki/Ramification#In_algebraic_number_theory) is that there are no repeated factors mod p. It is then a (not terribly difficult) theorem that this happens if and only if p divides the discriminant.