Let $\mathcal{O}$ be a Dedekind domain, $K$ its field of fractions. Suppose $f\in \mathcal{O}[X]$ is irreducible. Is it irreducible in $K[X]$?
The motivation for my question is that this is true for UFD's, so it is natural to ask if it is still valid over an arbitrary Dedekind domain.